Peter Hormanns 8c1f3d7a40 mostly working		2019-07-23 20:43:32 +02:00
..
jetty.xml	mostly working	2019-07-23 20:43:32 +02:00
realm.properties	mostly working	2019-07-23 20:43:32 +02:00