anhefti f3b44d9cbe deleted docker and fixed some minor issues		2019-10-10 09:29:48 +02:00
..
seb/sebserver	deleted docker and fixed some minor issues	2019-10-10 09:29:48 +02:00