/ default tip
drwxr-xr-x docs
drwxr-xr-x help
-rw-r--r-- 2014-11-13 23:29 +0200 409 .hgignore
-rw-r--r-- 2014-11-13 23:29 +0200 3732 CMakeLists.txt
-rw-r--r-- 2014-11-13 23:29 +0200 17987 COPYING
lrwxrwxrwx 2014-11-13 23:29 +0200 16 README
lrwxrwxrwx 2014-11-13 23:29 +0200 14 TODO
-rw-r--r-- 2014-11-13 23:29 +0200 162 config.h.in
-rw-r--r-- 2014-11-13 23:29 +0200 588 marking.avv.in
-rw-r--r-- 2014-11-13 23:29 +0200 7317 marking.c