directory /make/tools/ @ 705:3c41beaa95f5

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