directory / @ 8:1274e2a62479 draft default tip

name size permissions
dir. build/ tools drwxr-xr-x
dir. config/ drwxr-xr-x
dir. data/ drwxr-xr-x
dir. tools/ drwxr-xr-x
file Dockerfile 5593 -rw-r--r--
file HowTo.md 3395 -rw-r--r--
file README.rst 225 -rw-r--r--
file build.sh 719 -rwxr-xr-x
file findToolsWithoutTests.py 1310 -rw-r--r--
file tests.html 552662 -rw-r--r--