anhefti 39e57becc0 setup docker with Java v17		2023-05-11 16:00:57 +02:00
..
Dockerfile	setup docker with Java v17	2023-05-11 16:00:57 +02:00
start-sebserver.sh	fix docker build?!?!?!?	2021-04-22 18:15:25 +02:00