anhefti 9d5ed34ec6 added check endpoint and fixed gui endpoint		2021-03-25 20:47:58 +01:00
..
ethz/seb/sebserver	added check endpoint and fixed gui endpoint	2021-03-25 20:47:58 +01:00