This machine mirrors various open-source projects.
20 Gbit/s uplink.
If there are any issues or you want another project mirrored, please contact
mirror-service -=AT=- netcologne DOT de !
../ 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-10.1.6-build.xml.patch 23-Mar-2023 06:10 4856 tomcat-8.5.86-build.xml.patch 23-Mar-2023 06:10 4164 tomcat-8.5.95-min.java.patch 08-Nov-2023 09:10 1435 tomcat-9.0.37-fix-build-rewrite.patch 23-Mar-2023 06:10 448 tomcat-9.0.50-insufficient-ecj.patch 23-Mar-2023 06:10 2747 tomcat-9.0.72-build.xml.patch 23-Mar-2023 06:10 3794 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