Update isolinux files to ISOLINUX 4.01 debian-20100712.
[grml-live.git] / templates / boot / isolinux / distri.cfg
1 include grmlmain.cfg