anhefti bb660f3953 Fixed or criterias		2022-12-06 15:07:45 +01:00
..
ch/ethz/seb/sebserver	Fixed or criterias	2022-12-06 15:07:45 +01:00