directory /make/ @ 104:7bcba6e2acc3

name size permissions
[up] drwxr-xr-x
file docdiridx.py 895 -rwxr-xr-x
file doclinkcheck.py 1228 -rwxr-xr-x
file functions.sh 6729 -rw-r--r--
file indexsections.py 2825 -rwxr-xr-x
file make.sh 1394 -rwxr-xr-x
file menuconfig2html.py 2824 -rwxr-xr-x
file mirror.py 2690 -rwxr-xr-x
file splitols.py 3277 -rwxr-xr-x