directory /src/swipl/ @ 74:30d5c450cf0a

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