directory /marsyas-link/ @ 129:afd72eb2b0aa tip

name size permissions
[up] drwxr-xr-x
dir. marsyas/ drwxr-xr-x
file config.h 112 -rw-r--r--
file malloc.h 43 -rw-r--r--