directory /make/ @ 112:7da9bd82122c

name size permissions
[up] drwxr-xr-x
file README 743 -rw-r--r--
file docdiridx.py 960 -rwxr-xr-x
file doclinkcheck.py 1228 -rwxr-xr-x
file functions.sh 6903 -rw-r--r--
file indexsections.py 3179 -rwxr-xr-x
file make.sh 991 -rwxr-xr-x
file menuconfig2html.py 2803 -rwxr-xr-x
file mirror.py 2824 -rwxr-xr-x
file splitols.py 3466 -rwxr-xr-x