diff options
| author |   Michael Mair-Keimberger <mmk@levelnine.at> | 2023-12-31 15:28:10 +0100 |
|---|---|---|
| committer |   Alfredo Tupone <tupone@gentoo.org> | 2023-12-31 18:53:25 +0100 |
| commit | c18a7d9c6fb323e1337bd5c196cd2067d6481391 (patch) | |
| tree | 61a1cb275f6866ab29e2ca1ee5fa6bcb66a85fc2 /dev-ml/typerep | |
| parent | www-servers/apache: clean up ancient outdated split-usr hack (diff) | |
| download | gentoo-c18a7d9c6fb323e1337bd5c196cd2067d6481391.tar.gz gentoo-c18a7d9c6fb323e1337bd5c196cd2067d6481391.tar.bz2 gentoo-c18a7d9c6fb323e1337bd5c196cd2067d6481391.zip | |
dev-ml/ppxlib: remove unused patch(es)
Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at>
Closes: https://github.com/gentoo/gentoo/pull/34581
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/typerep')
0 files changed, 0 insertions, 0 deletions