wok-4.x /fltk/stuff/

name size permissions
[up] drwxr-xr-x
dir. applications/ drwxr-xr-x
file filename_list-dirent.patch 564 -rw-r--r--