/python/mach/ default tip
drwxr-xr-x [up]
drwxr-xr-x docs
drwxr-xr-x mach
-rw-r--r-- 2019-01-20 11:42 +0200 381 README.rst
-rw-r--r-- 2019-01-20 11:42 +0200 478 bash-completion.sh
-rw-r--r-- 2019-01-20 11:42 +0200 1053 setup.py