directory /make/ @ 80:fa8bf02e7cfa

name size permissions
[up] drwxr-xr-x
file docdiridx.py 895 -rwxr-xr-x
file doclinkcheck.py 1228 -rwxr-xr-x
file findrfc.sh 900 -rwxr-xr-x
file fixlinks.py 560 -rwxr-xr-x
file indexsections.py 2496 -rwxr-xr-x
file make.sh 4002 -rwxr-xr-x
file menuconfig2html.py 2824 -rwxr-xr-x
file mirror.py 2279 -rwxr-xr-x
file mkxmlman.sh 1100 -rwxr-xr-x
file splitols.py 2622 -rwxr-xr-x