diff options
author | Michael Mair-Keimberger <mmk@levelnine.at> | 2022-10-30 09:01:26 +0100 |
---|---|---|
committer | Sam James <sam@gentoo.org> | 2022-10-30 09:27:36 +0000 |
commit | dbfb5c45e92dd153733fffe84334dd3120c82142 (patch) | |
tree | 78617d63fb9a71e8c739b5d0fb2e4d2f32d937c0 /app-admin/puppet | |
parent | sys-fs/lvm2: remove unused file (diff) | |
download | gentoo-dbfb5c45e92dd153733fffe84334dd3120c82142.tar.gz gentoo-dbfb5c45e92dd153733fffe84334dd3120c82142.tar.bz2 gentoo-dbfb5c45e92dd153733fffe84334dd3120c82142.zip |
www-servers/tomcat: remove unused file
Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at>
Closes: https://github.com/gentoo/gentoo/pull/28038
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'app-admin/puppet')
0 files changed, 0 insertions, 0 deletions