Peter Hormanns fa186456dc initialize ticket validator		2015-08-07 17:25:30 +02:00
..
dev-web.xml	initialize ticket validator	2015-08-07 17:25:30 +02:00
prod-web.xml	initialize ticket validator	2015-08-07 17:25:30 +02:00
test-web.xml	cli servlet does not exists anymore	2015-08-07 16:49:08 +02:00