diff options
author | Michał Górny <mgorny@gentoo.org> | 2021-09-18 19:54:30 +0200 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2021-09-18 21:43:46 +0200 |
commit | 91d0efbd9d87e4a7a0c95209798e519e4815a4e4 (patch) | |
tree | 1175064ee7aaf88ed6c436dc616d142cc9bac7e3 /sci-mathematics/agda | |
parent | dev-python/pytest-describe: Remove old (diff) | |
download | gentoo-91d0efbd9d87e4a7a0c95209798e519e4815a4e4.tar.gz gentoo-91d0efbd9d87e4a7a0c95209798e519e4815a4e4.tar.bz2 gentoo-91d0efbd9d87e4a7a0c95209798e519e4815a4e4.zip |
dev-python/pygments: Remove old
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'sci-mathematics/agda')
0 files changed, 0 insertions, 0 deletions