/python/mach/ default tip
drwxr-xr-x [up]
drwxr-xr-x docs
drwxr-xr-x mach
-rw-r--r-- 2017-11-22 23:29 +0200 381 README.rst
-rw-r--r-- 2017-11-22 23:29 +0200 581 bash-completion.sh
-rw-r--r-- 2017-11-22 23:29 +0200 1027 setup.py