diff options
author | Michael Mair-Keimberger <mmk@levelnine.at> | 2023-09-17 15:55:26 +0200 |
---|---|---|
committer | David Seifert <soap@gentoo.org> | 2023-09-17 15:55:26 +0200 |
commit | 671dab8afb835a85d75b6f251455c6bd53ef3445 (patch) | |
tree | 8f25dbf59043028a7c988b041f041699bef973d4 /dev-libs | |
parent | media-gfx/apngopt: remove old (diff) | |
download | gentoo-671dab8afb835a85d75b6f251455c6bd53ef3445.tar.gz gentoo-671dab8afb835a85d75b6f251455c6bd53ef3445.tar.bz2 gentoo-671dab8afb835a85d75b6f251455c6bd53ef3445.zip |
dev-php/semver: remove unused file
Closes: https://github.com/gentoo/gentoo/pull/32837
Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at>
Signed-off-by: David Seifert <soap@gentoo.org>
Diffstat (limited to 'dev-libs')
0 files changed, 0 insertions, 0 deletions