wok /manserver/stuff/ tip

name size permissions
[up] drwxr-xr-x
file manpath.config 72 -rw-r--r--
file manserver 72 -rw-r--r--
file manserver-1.08-add-xz.patch 2768 -rw-r--r--
file manserver.desktop 171 -rw-r--r--