anhefti 017d191e31 more tests		2020-08-04 15:24:54 +02:00
..
java/ch/ethz/seb/sebserver	more tests	2020-08-04 15:24:54 +02:00
resources	fixed configuration	2020-05-06 16:07:13 +02:00