| Parent directory/ | - | - |
| tomcat-10.0.16-build.xml-strip-html5.patch | 1.2 KiB | 2022-Jan-21 10:09 |
| tomcat-10.0.16-build.xml.patch | 13.6 KiB | 2022-Jan-21 10:09 |
| tomcat-10.0.20-build.xml.patch | 13.5 KiB | 2022-Apr-01 10:10 |
| tomcat-10.0.26-build.xml.patch | 13.4 KiB | 2022-Sep-28 04:40 |
| tomcat-10.0.4-build.xml.patch | 11.2 KiB | 2021-Mar-13 12:09 |
| tomcat-10.1.0-build.xml.patch | 13.5 KiB | 2022-Sep-27 05:40 |
| tomcat-10.1.20-do-not-copy.patch | 1.1 KiB | 2024-Apr-04 08:10 |
| tomcat-10.1.20-offline.patch | 562 B | 2024-Apr-04 08:10 |
| tomcat-10.1.6-build.xml.patch | 4.7 KiB | 2023-Mar-23 06:10 |
| tomcat-7.0.99-build.xml.patch | 5.8 KiB | 2020-Feb-09 23:39 |
| tomcat-8.5.66-build.xml.patch | 10.6 KiB | 2021-May-13 11:39 |
| tomcat-8.5.86-build.xml.patch | 4.1 KiB | 2023-Mar-23 06:10 |
| tomcat-8.5.95-min.java.patch | 1.4 KiB | 2023-Nov-08 09:10 |
| tomcat-9.0.37-fix-build-rewrite.patch | 448 B | 2023-Mar-23 06:10 |
| tomcat-9.0.46-build.xml.patch | 11.1 KiB | 2021-May-13 11:39 |
| tomcat-9.0.50-insufficient-ecj.patch | 2.7 KiB | 2023-Mar-23 06:10 |
| tomcat-9.0.58-build.xml.patch | 12.5 KiB | 2022-Jan-21 10:09 |
| tomcat-9.0.62-build.xml.patch | 12.4 KiB | 2022-Apr-01 10:10 |
| tomcat-9.0.72-build.xml.patch | 3.7 KiB | 2023-Mar-23 06:10 |
| tomcat-9.0.87-build.xml.patch | 1.2 KiB | 2024-Apr-04 08:10 |
| tomcat-9.0.87-gentoo-bnd.patch | 1.4 KiB | 2024-Apr-04 08:10 |
| tomcat-instance-manager-r1.bash | 6.3 KiB | 2015-Aug-09 00:38 |
| tomcat-instance-manager-r2.bash | 6.8 KiB | 2015-Oct-25 22:53 |
| tomcat-r1.init | 3.1 KiB | 2016-May-18 06:44 |
| tomcat.conf | 1.8 KiB | 2015-Aug-16 14:22 |
