directory / @ 7:1436e9cde9c9 draft

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 -rw-r--r--
file findToolsWithoutTests.py 1310 -rw-r--r--
file tests.html 529746 -rw-r--r--