directory /tools/ @ 19595:1de842e3c329 v8.2.0354

name size permissions
[up] drwxr-xr-x
file rename.bat 160 -rw-r--r--