/
drwxr-xr-x docs
drwxr-xr-x src
-rw-r--r-- 2019-07-26 12:38 +0200 230 .hgignore
-rw-r--r-- 2019-07-26 12:38 +0200 2213 .hgtags
-rw-r--r-- 2019-07-26 12:38 +0200 4978 .installed.cfg
-rw-r--r-- 2019-07-26 12:38 +0200 2191 LICENSE
-rw-r--r-- 2019-07-26 12:38 +0200 104 MANIFEST.in
-rw-r--r-- 2019-07-26 12:38 +0200 7467 bootstrap.py
-rwxr-xr-x 2019-07-26 12:38 +0200 1408 buildout.cfg
-rw-r--r-- 2019-07-26 12:38 +0200 1417 gulpfile.js
-rw-r--r-- 2019-07-26 12:38 +0200 844 package.json
-rwxr-xr-x 2019-07-26 12:38 +0200 2779 setup.py