/
drwxr-xr-x t
drwxr-xr-x tools
-rw-r--r-- 2015-04-21 22:15 +0200 17 .hgignore
-rw-r--r-- 2015-04-21 22:15 +0200 187 .hgtags
-rw-r--r-- 2015-04-21 22:15 +0200 646 Makefile
-rw-r--r-- 2015-04-21 22:15 +0200 78 TODO
-rw-r--r-- 2015-04-21 22:15 +0200 351 short.conf
-rw-r--r-- 2015-04-21 22:15 +0200 39224 short.txt