directory / @ 2153:3836b4ad3259

name size permissions
dir. 3rdparty/ drwxr-xr-x
dir. defs/ drwxr-xr-x
dir. docs/ drwxr-xr-x
dir. level1/ drwxr-xr-x
dir. level2/ drwxr-xr-x
dir. scripts/ drwxr-xr-x
file ChangeLog 12493 -rw-r--r--
file TODO 3221 -rw-r--r--
file makefile 712 -rw-r--r--
file rules.mak 2800 -rw-r--r--