directory /make/tools/ @ 37:d9a0ca94dcf8

name size permissions
[up] drwxr-xr-x
dir. idlj/ drwxr-xr-x
dir. src/ build/tools/stripproperties drwxr-xr-x
dir. strip_properties/ drwxr-xr-x
file Makefile 1479 -rw-r--r--