directory /src/share/tools/ @ 20369:3f1b3f2dd1cb hs25.40-b08

name size permissions
[up] drwxr-xr-x
dir. IdealGraphVisualizer/ drwxr-xr-x
dir. LogCompilation/ drwxr-xr-x
dir. ProjectCreator/ drwxr-xr-x
dir. hsdis/ drwxr-xr-x