directory /etc/ @ 107:ee91974287d6 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 3453 -rwxr-xr-x
file setup_as_root.sh 3436 -rwxr-xr-x
file swipl-build.patch 752 -rw-r--r--
file xorg.conf 1110 -rw-r--r--