wok-6.x /syslinux/stuff/

name size permissions
[up] drwxr-xr-x
dir. extra/ drwxr-xr-x
dir. tools/ drwxr-xr-x
file display.txt 83 -rw-r--r--
file help.en 968 -rw-r--r--
file help.fr 1002 -rw-r--r--
file i18n.cfg 59 -rw-r--r--
file isolinux.cfg 1442 -rw-r--r--
file isolinux.msg 70 -rw-r--r--
file opts.en 990 -rw-r--r--
file opts.fr 1108 -rw-r--r--