diff options
author | Michael Mair-Keimberger <mmk@levelnine.at> | 2022-10-30 08:59:56 +0100 |
---|---|---|
committer | Sam James <sam@gentoo.org> | 2022-10-30 09:27:43 +0000 |
commit | f80a0aff3bcd5d9e3acdd47458793d411d4871ea (patch) | |
tree | 3f5f1a0e8ba04b353b1327c0f137294783d9c6ff /dev-lang | |
parent | www-servers/tomcat: remove unused file (diff) | |
download | gentoo-f80a0aff3bcd5d9e3acdd47458793d411d4871ea.tar.gz gentoo-f80a0aff3bcd5d9e3acdd47458793d411d4871ea.tar.bz2 gentoo-f80a0aff3bcd5d9e3acdd47458793d411d4871ea.zip |
sys-process/lsof: remove unused patch
Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at>
Closes: https://github.com/gentoo/gentoo/pull/28037
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-lang')
0 files changed, 0 insertions, 0 deletions