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
..
doc	…
docker	Update Janitor Dockerfile	2018-05-17 08:18:56 +02:00
freebsd	…
init.d	…
nginx	…
systemd	…