/
drwxr-xr-x [up]
drwxr-xr-x distfiles
-rw-r--r-- 2017-01-15 22:22 +0100 41 .hgignore
-rw-r--r-- 2017-01-15 22:22 +0100 8941 Makefile
-rw-r--r-- 2017-01-15 22:22 +0100 3280 install.nsi
-rw-r--r-- 2017-01-15 22:22 +0100 17666 license.txt
-rw-r--r-- 2017-01-15 22:22 +0100 28 public.mk