anhefti b63a8e39b3 better error handling		2020-06-10 09:43:39 +02:00
..
java/ch/ethz/seb/sebserver	better error handling	2020-06-10 09:43:39 +02:00
resources	fixed properties	2020-06-10 09:39:15 +02:00