diff options
| author | Arthur Zamarin <arthurzam@gentoo.org> | 2023-02-20 22:26:27 +0200 |
|---|---|---|
| committer | Arthur Zamarin <arthurzam@gentoo.org> | 2023-02-20 22:26:27 +0200 |
| commit | d660b80ed2d901a4055356c0ceefb5fa5c9e3f21 (patch) | |
| tree | b79559283a66cbec67cea9853f4b4bd7714fb0b2 /dev-python/PyGithub | |
| parent | 0878c2050d2c2bd1bc166fd63b55aebd50621493 (diff) | |
| download | gentoo-d660b80ed2d901a4055356c0ceefb5fa5c9e3f21.tar.gz gentoo-d660b80ed2d901a4055356c0ceefb5fa5c9e3f21.tar.bz2 gentoo-d660b80ed2d901a4055356c0ceefb5fa5c9e3f21.zip | |
dev-ml/ppx_ignore_instrumentation: Keyword 0.15.0-r1 x86, #892131
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Diffstat (limited to 'dev-python/PyGithub')
0 files changed, 0 insertions, 0 deletions