directory /tools/config/ @ 490:d76e5bad5ed1

name size permissions
[up] drwxr-xr-x
dir. SMM.doc/ drwxr-xr-x
file Makefile 431 -rw-r--r--
file config.5 10786 -rw-r--r--
file config.8 7074 -rw-r--r--
file config.h 5619 -rw-r--r--
file config.y 9271 -rw-r--r--
file configvers.h 2247 -rw-r--r--
file kernconf.tmpl 463 -rw-r--r--
file lang.l 7019 -rw-r--r--
file main.c 17624 -rw-r--r--
file mkheaders.c 2227 -rw-r--r--
file mkmakefile.c 17123 -rw-r--r--
file mkoptions.c 10277 -rw-r--r--