directory /make/ @ 25:fe01baf8e2a0

name size permissions
[up] drwxr-xr-x
file docdiridx.py 824 -rwxr-xr-x
file doclinkcheck.py 1228 -rwxr-xr-x
file fixlinks.py 504 -rwxr-xr-x
file make.sh 1257 -rwxr-xr-x
file mkxmlman.sh 856 -rwxr-xr-x