| Parent directory/ | - | - |
| tomcat-9.0.37-fix-build-rewrite.patch | 513 B | 2020-Jul-07 19:39 |
| tomcat-10.0.16-build.xml-strip-html5.patch | 1.2 KiB | 2022-Jan-21 19:09 |
| tomcat.conf | 1.8 KiB | 2015-Aug-16 23:22 |
| tomcat-9.0.50-insufficient-ecj.patch | 2.8 KiB | 2021-Jul-05 23:39 |
| tomcat-r1.init | 3.1 KiB | 2016-May-18 15:44 |
| tomcat-7.0.99-build.xml.patch | 5.8 KiB | 2020-Feb-10 08:39 |
| tomcat-instance-manager-r1.bash | 6.3 KiB | 2015-Aug-09 09:38 |
| tomcat-instance-manager-r2.bash | 6.8 KiB | 2015-Oct-26 07:53 |
| tomcat-8.5.66-build.xml.patch | 10.6 KiB | 2021-May-13 20:39 |
| tomcat-9.0.62-build.xml.patch | 12.4 KiB | 2022-Apr-01 19:10 |
| tomcat-10.0.20-build.xml.patch | 13.5 KiB | 2022-Apr-01 19:10 |