anhefti 7e9b5f92af Change Copyright		2024-03-12 16:31:43 +01:00
..
java/ch/ethz/seb/sebserver	Change Copyright	2024-03-12 16:31:43 +01:00
resources	adapt to new jenkins reporting	2024-03-05 14:20:44 +01:00