directory /make/ @ 21:8dc7c0651c06

name size permissions
[up] drwxr-xr-x
file docdiridx.py 908 -rwxr-xr-x
file doclinkcheck.py 959 -rwxr-xr-x
file fixlinks.py 504 -rwxr-xr-x
file make.sh 1257 -rwxr-xr-x
file mkxmlman.sh 860 -rwxr-xr-x