/
drwxr-xr-x [up]
drwxr-xr-x distfiles
-rw-r--r-- 2017-12-16 17:28 +0100 33 .dockerignore
-rw-r--r-- 2017-12-16 17:28 +0100 102 .hgignore
-rw-r--r-- 2017-12-16 17:28 +0100 1212 Dockerfile
-rw-r--r-- 2017-12-16 17:28 +0100 13611 Makefile
-rwxr-xr-x 2017-12-16 17:28 +0100 172 enter_docker.sh
-rw-r--r-- 2017-12-16 17:28 +0100 3280 install.nsi
-rw-r--r-- 2017-12-16 17:28 +0100 17666 license.txt
-rwxr-xr-x 2017-12-16 17:28 +0100 965 provision_xenial64.sh
-rw-r--r-- 2017-12-16 17:28 +0100 28 public.mk
-rwxr-xr-x 2017-12-16 17:28 +0100 516 rebuild_docker.sh