gentoo/dev-python/mypy-extensions
Michał Górny 4920754b6e
Rename dev-python/{mypy_extensions → mypy-extensions}
Signed-off-by: Michał Górny <mgorny@gentoo.org>
2024-11-22 21:39:46 +01:00
..