/
drwxr-xr-x [up]
drwxr-xr-x hotspot
drwxr-xr-x jdk
drwxr-xr-x make
-rw-r--r-- 2017-07-05 16:32 +0200 35 .hgignore
-rw-r--r-- 2017-07-05 16:32 +0200 1503 ASSEMBLY_EXCEPTION
-rw-r--r-- 2017-07-05 16:32 +0200 19241 LICENSE
-rw-r--r-- 2017-07-05 16:32 +0200 13362 Makefile
-rw-r--r-- 2017-07-05 16:32 +0200 1207 README
-rw-r--r-- 2017-07-05 16:32 +0200 55331 README-builds.html
-rw-r--r-- 2017-07-05 16:32 +0200 127532 THIRD_PARTY_README