directory /make/tools/ @ 541:ebf79cbf5711

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