directory /src/swipl/ @ 100:a4cd935561d4 dml-dockerised tip

name size permissions
[up] drwxr-xr-x
file README.md 898 -rw-r--r--
file build 9412 -rwxr-xr-x
file http_openid.pl 46009 -rw-r--r--
file upgrade_swipl 359 -rwxr-xr-x