isolinux.cfg/syslinux.cfg: Drop duplicated 'MENU DEFAULT'
[grml-live.git] / examples /
drwxr-xr-x   ..
-rw-r--r-- 1703 mkdebmirror
drwxr-xr-x - reprepro