rename patch set from 3.12-3 to reflect purpose
[debian/elilo] / examples /
drwxr-xr-x   ..
drwxr-xr-x - netboot
drwxr-xr-x - textmenu_chooser