directory /etc/ @ 100:a4cd935561d4 dml-dockerised tip

name size permissions
[up] drwxr-xr-x
dir. as_root.d/ drwxr-xr-x
file INSTALL 1161 -rw-r--r--
file odbcinst.ini 339 -rw-r--r--
file rc.local 433 -rwxr-xr-x
file setup_as_dml.sh 3020 -rwxr-xr-x
file setup_as_root.sh 3094 -rwxr-xr-x
file swipl-build.patch 752 -rw-r--r--
file xorg.conf 1110 -rw-r--r--