directory /make/ @ 58:8f5d75ee17f2

name size permissions
[up] drwxr-xr-x
file docdiridx.py 895 -rwxr-xr-x
file doclinkcheck.py 1228 -rwxr-xr-x
file fixlinks.py 560 -rwxr-xr-x
file indexsections.py 1673 -rwxr-xr-x
file make.sh 3842 -rwxr-xr-x
file menuconfig2html.py 2824 -rwxr-xr-x
file mirror.py 2279 -rwxr-xr-x
file mkxmlman.sh 1043 -rwxr-xr-x
file splitols.py 2622 -rwxr-xr-x