directory /tools/ @ 16602:47a8b29f289c v8.1.1304

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