/python/mach/ default tip
drwxr-xr-x [up]
drwxr-xr-x docs
drwxr-xr-x mach
-rw-r--r-- 2018-02-22 11:59 +0200 381 README.rst
-rw-r--r-- 2018-02-22 11:59 +0200 581 bash-completion.sh
-rw-r--r-- 2018-02-22 11:59 +0200 1039 setup.py