| Parent directory/ | - | - |
| tomcat-10.1.20-do-not-copy.patch | 1164 | 2024-Apr-04 08:10 |
| tomcat-10.1.20-offline.patch | 562 | 2024-Apr-04 08:10 |
| tomcat-10.1.6-build.xml.patch | 4856 | 2023-Mar-23 06:10 |
| tomcat-8.5.86-build.xml.patch | 4164 | 2023-Mar-23 06:10 |
| tomcat-8.5.95-min.java.patch | 1435 | 2023-Nov-08 09:10 |
| tomcat-9.0.37-fix-build-rewrite.patch | 448 | 2023-Mar-23 06:10 |
| tomcat-9.0.50-insufficient-ecj.patch | 2747 | 2023-Mar-23 06:10 |
| tomcat-9.0.72-build.xml.patch | 3794 | 2023-Mar-23 06:10 |
| tomcat-9.0.87-build.xml.patch | 1240 | 2024-Apr-04 08:10 |
| tomcat-9.0.87-gentoo-bnd.patch | 1432 | 2024-Apr-04 08:10 |
| tomcat-instance-manager-r2.bash | 6999 | 2015-Oct-25 22:53 |
| tomcat-r1.init | 3200 | 2016-May-18 06:44 |
| tomcat.conf | 1811 | 2015-Aug-16 14:22 |