anhefti c56d3a1bd7 SEBSERV-122 fixed		2020-04-22 16:43:39 +02:00
..
java/ch/ethz/seb/sebserver	SEBSERV-122 fixed	2020-04-22 16:43:39 +02:00
resources	new name for Client Config export file "SEBServerSettings.seb" and	2020-04-22 12:38:27 +02:00