directory /make/tools/ @ 823:0a509c765657

name size permissions
[up] drwxr-xr-x
dir. CompileProperties/ drwxr-xr-x
dir. GenStubs/ drwxr-xr-x
dir. SelectTool/ drwxr-xr-x