directory /SCRIPTS/ @ 133:4acb5d8d80b6 tip

name size permissions
[up] drwxr-xr-x
file Dockerfile_arch 580 -rw-r--r--
file Dockerfile_ubuntu1604.in 677 -rw-r--r--
file check-changes.sh 978 -rwxr-xr-x
file dockerbuild.sh 1136 -rwxr-xr-x
file include.sh 487 -rw-r--r--
file process.sh 20598 -rwxr-xr-x
file summarise.sh 3992 -rwxr-xr-x
file update.sh 1531 -rwxr-xr-x