/
drwxr-xr-x debian
drwxr-xr-x dev
drwxr-xr-x doc
drwxr-xr-x src
drwxr-xr-x test
-rw-r--r-- 2018-07-20 17:17 +0200 45 .hgignore
-rw-r--r-- 2018-07-20 17:17 +0200 964 .hgtags
-rw-r--r-- 2018-07-20 17:17 +0200 1094 CREDITS
-rw-r--r-- 2018-07-20 17:17 +0200 17987 LICENSE
-rw-r--r-- 2018-07-20 17:17 +0200 2377 Makefile
-rw-r--r-- 2018-07-20 17:17 +0200 3444 NEWS
-rw-r--r-- 2018-07-20 17:17 +0200 2601 README-windows.txt
-rw-r--r-- 2018-07-20 17:17 +0200 1968 README.md
-rw-r--r-- 2018-07-20 17:17 +0200 654 setup.py
-rw-r--r-- 2018-07-20 17:17 +0200 72 windows.sh