anhefti 686560f45b Merge branch 'rel-1.5-uzh' into dev-1.5		2023-05-16 11:54:53 +02:00
..
java/ch/ethz/seb/sebserver	Merge branch 'rel-1.5-uzh' into dev-1.5	2023-05-16 11:54:53 +02:00
resources	show granted SEB connection in detail view	2023-04-18 15:20:26 +02:00