/ default tip
drwxr-xr-x [up]
drwxr-xr-x .settings
drwxr-xr-x AnnexF
drwxr-xr-x absyntax
drwxr-xr-x absyntax_utils
drwxr-xr-x config
drwxr-xr-x debian
drwxr-xr-x lib
drwxr-xr-x stage1_2
drwxr-xr-x stage3
drwxr-xr-x stage4
drwxr-xr-x tests
drwxr-xr-x util
-rwxr-xr-x 2017-10-20 18:49 +0100 281 .hgignore
-rw-r--r-- 2017-10-20 18:49 +0100 35147 COPYING
-rw-r--r-- 2017-10-20 18:49 +0100 713 Makefile.am
-rw-r--r-- 2017-10-20 18:49 +0100 750 README.build
-rw-r--r-- 2017-10-20 18:49 +0100 70 common.mk
-rw-r--r-- 2017-10-20 18:49 +0100 2012 configure.ac
-rw-r--r-- 2017-10-20 18:49 +0100 11142 main.cc
-rw-r--r-- 2017-10-20 18:49 +0100 6809 main.hh
-rwxr-xr-x 2017-10-20 18:49 +0100 23243 readme