| Parent directory/ | - | - |
| tomcat-instance-manager-r2.bash | 6.8 KiB | 2015-Oct-26 07:53 |
| tomcat-10.1.6-build.xml.patch | 4.7 KiB | 2023-Mar-23 15:10 |
| tomcat-8.5.86-build.xml.patch | 4.1 KiB | 2023-Mar-23 15:10 |
| tomcat-9.0.72-build.xml.patch | 3.7 KiB | 2023-Mar-23 15:10 |
| tomcat-r1.init | 3.1 KiB | 2016-May-18 15:44 |
| tomcat-9.0.50-insufficient-ecj.patch | 2.7 KiB | 2023-Mar-23 15:10 |
| tomcat.conf | 1.8 KiB | 2015-Aug-16 23:22 |
| tomcat-8.5.95-min.java.patch | 1.4 KiB | 2023-Nov-08 18:10 |
| tomcat-9.0.87-gentoo-bnd.patch | 1.4 KiB | 2024-Apr-04 17:10 |
| tomcat-9.0.87-build.xml.patch | 1.2 KiB | 2024-Apr-04 17:10 |
| tomcat-10.1.20-do-not-copy.patch | 1.1 KiB | 2024-Apr-04 17:10 |
| tomcat-10.1.20-offline.patch | 562 B | 2024-Apr-04 17:10 |
| tomcat-9.0.37-fix-build-rewrite.patch | 448 B | 2023-Mar-23 15:10 |