directory /doc/ @ 36:dabd31807be6 default tip

name size permissions
[up] drwxr-xr-x
dir. manual/ drwxr-xr-x