directory / @ 1838:20adccef595a

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 ReadMe 1735 -rw-r--r--
file makefile 829 -rw-r--r--
file rules.mak 2602 -rw-r--r--