directory /tools/ @ 1364:47ac387d3228

name size permissions
[up] drwxr-xr-x
file patch-tool-mingw 2230 -rwxr-xr-x