diff options
| author | Aaron Bauman <bman@gentoo.org> | 2020-11-28 13:19:49 -0500 |
|---|---|---|
| committer | Aaron Bauman <bman@gentoo.org> | 2020-11-28 13:37:17 -0500 |
| commit | 9047d830ef0cd8f38a2a552affe4a3bbaefc15c9 (patch) | |
| tree | d6b42c3d7fd426e54810ddd67859b237760c8172 /dev-python/python-docs | |
| parent | b8ce76321c995caa05d4c1f38f0ba3c2fdd75951 (diff) | |
| download | gentoo-9047d830ef0cd8f38a2a552affe4a3bbaefc15c9.tar.gz gentoo-9047d830ef0cd8f38a2a552affe4a3bbaefc15c9.tar.bz2 gentoo-9047d830ef0cd8f38a2a552affe4a3bbaefc15c9.zip | |
dev-ml/menhir: drop old
Signed-off-by: Aaron Bauman <bman@gentoo.org>
Diffstat (limited to 'dev-python/python-docs')
0 files changed, 0 insertions, 0 deletions