wok-6.x /syslinux/stuff/

name size permissions
[up] drwxr-xr-x
dir. extra/ drwxr-xr-x
dir. tools/ drwxr-xr-x
file common.cfg 283 -rw-r--r--
file display.txt 569 -rw-r--r--
file enhelp.txt 922 -rw-r--r--
file enopts.txt 1387 -rw-r--r--
file help.txt 1023 -rw-r--r--
file isolinux.cfg 146 -rw-r--r--
file isolinux.msg 57 -rw-r--r--
file options.txt 1484 -rw-r--r--
file splash.lss 12832 -rw-r--r--