source: trunk/dports/java/servlet23-api @ 110313

Name Size Rev Age Author Last Change
../
Portfile 1.2 KB 96266   7 years jberry Use the new java portgroup to set the java JAVA_HOME, as the symlink …
Note: See TracBrowser for help on using the repository browser.