Mario Voigt 39f96cbd28 Update config.properties (#693) ... fix db version to reflect the most recent		2023-06-04 21:48:55 +02:00
..
src	Update config.properties (#693)	2023-06-04 21:48:55 +02:00
pom.xml	Closes #668: upgrade jetty/servlet-api/jersey	2023-04-09 21:31:53 +02:00