../ tomcat-10.1.20-do-not-copy.patch 04-Apr-2024 08:10 1164 tomcat-10.1.20-offline.patch 04-Apr-2024 08:10 562 tomcat-11.0.0-offline.patch 15-Oct-2024 08:10 562 tomcat-9.0.87-build.xml.patch 04-Apr-2024 08:10 1240 tomcat-9.0.87-gentoo-bnd.patch 04-Apr-2024 08:10 1432 tomcat-instance-manager-r2.bash 25-Oct-2015 22:53 6999 tomcat-r1.init 18-May-2016 06:44 3200 tomcat.conf 16-Aug-2015 14:22 1811