source:
main/trunk/greenstone3/resources/tomcat@
28905
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
greenstone3.xml.in | 1.3 KB | 28905 | 10 years | Configuration files that may be edited by the user, and that need some … | |
server_tomcat5.xml.in | 19.2 KB | 28905 | 10 years | Configuration files that may be edited by the user, and that need some … | |
server_tomcat7.xml.in | 6.7 KB | 28905 | 10 years | Configuration files that may be edited by the user, and that need some … | |
setclasspath.bat | 2.2 KB | 14725 | 17 years | looking for the JRE home first then the JAVA_home when running tomcat | |
setclasspath.sh | 2.9 KB | 14725 | 17 years | looking for the JRE home first then the JAVA_home when running tomcat | |
web.xml.in | 151.4 KB | 28905 | 10 years | Configuration files that may be edited by the user, and that need some … |
Note:
See TracBrowser
for help on using the repository browser.