[Mahgs] 6c8a5fbe78 changed docker.properties ...

Co-authored-by: AndiBuls <andreas.buls@uni-duesseldorf.de>
Co-authored-by: Christoph <tobi@urpost.de>

2020-03-16 16:25:04 +01:00

..

main

changed docker.properties

2020-03-16 16:25:04 +01:00

test/java/mops/gruppen2

merged with master

2020-03-16 13:15:54 +01:00