wok-6.x /fltk/stuff/ tip

name size permissions
[up] drwxr-xr-x
dir. applications/ drwxr-xr-x
file Fl_XFont_On_Demand.patch 1415 -rw-r--r--