anhefti d6b3ac43c6 SEBSERV-512 fix error on downgrade for SEB Settings		2024-03-04 13:23:47 +01:00
..
java/ch/ethz/seb/sebserver	SEBSERV-512 fix error on downgrade for SEB Settings	2024-03-04 13:23:47 +01:00
resources	SEBSERV-502 added deprecation message	2024-02-28 10:59:42 +01:00