wok-next /manserver/stuff/ tip

name size permissions
[up] drwxr-xr-x
dir. patches/ drwxr-xr-x
file manpath.config 72 -rw-r--r--
file manserver 72 -rw-r--r--
file manserver.desktop 171 -rw-r--r--