source: trunk/dports/java/tomcat5 @ 72252

Name Size Rev Age Author Last Change
../
files 30857   12 years jberry Update tomcat5 --> 5.5.25. Should resolve #13112.
Portfile 7.3 KB 72252   9 years jberry Drop maintainership of my recently ill-maintained java ports. I may …
Note: See TracBrowser for help on using the repository browser.