directory /tools/ @ 23074:cd885eb0e50c v8.2.2083

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