directory /make/tools/ @ 525:f856c0942c06

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