Jan Keromnes a14d3b6b23 Update Janitor Dockerfile ... - Upgrade to newer janitortechnology/ubuntu-dev base image - Fix workspace folder - Add Theia port - Dockerfile best practices		2018-05-17 08:18:56 +02:00
..
dev	Update Janitor Dockerfile	2018-05-17 08:18:56 +02:00
production	Docker config directory as volume	2018-05-07 18:41:10 +02:00