diff options
| author | Tomáš Mózes <hydrapolic@gmail.com> | 2022-05-01 19:20:40 +0000 |
|---|---|---|
| committer | Joonas Niilola <juippis@gentoo.org> | 2022-05-18 18:14:01 +0300 |
| commit | c1b307d886ecfb045e3076eeae206490ed7f53a9 (patch) | |
| tree | d55507db338977df9dbe7e81e95f0afd8304b55d /dev-python/python-docs | |
| parent | 2a4f3b4b5a113c888f301ea1bfc78a79f3eb71e7 (diff) | |
| download | gentoo-c1b307d886ecfb045e3076eeae206490ed7f53a9.tar.gz gentoo-c1b307d886ecfb045e3076eeae206490ed7f53a9.tar.bz2 gentoo-c1b307d886ecfb045e3076eeae206490ed7f53a9.zip | |
dev-libs/criterion: drop old
Signed-off-by: Tomáš Mózes <hydrapolic@gmail.com>
Closes: https://github.com/gentoo/gentoo/pull/25255
Signed-off-by: Joonas Niilola <juippis@gentoo.org>
Diffstat (limited to 'dev-python/python-docs')
0 files changed, 0 insertions, 0 deletions