build.properties

   1 #Mon May 16 09:03:19 CDT 2005
   2 tomcat.username=manager
   3 shib.home=/usr/local/shibboleth
   4 tomcat.password=password
   5 tomcat.url=http\://localhost\:8080/manager
   6 tomcat.home=/usr/local/tomcat