Peter Hormanns 673c3ce918 add new domain properties		2023-12-19 18:39:37 +01:00
..
src/main	add new domain properties	2023-12-19 18:39:37 +01:00
.gitignore	converted to maven project	2016-06-10 19:34:43 +02:00
hsadmin.properties	add new domain properties	2023-12-19 18:39:37 +01:00
pom.xml	updates, replace tomcat7-maven-plugin by jetty-maven-plugin	2023-12-19 13:30:03 +01:00