diff -r 519fca1ac4d5 -r b9c8d2fed9b7 isolinux/menu.cfg
--- a/isolinux/menu.cfg	Mon Dec 15 08:17:27 2014 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,32 +0,0 @@
-menu hshift 7
-menu width 61
-
-menu title Debian GNU/Linux installer boot menu
-include stdmenu.cfg
-include ius.cfg
-include txt.cfg
-include amdtxt.cfg
-include gtk.cfg
-include amdgtk.cfg
-menu begin advanced
-    menu label ^Advanced options
-	menu title Advanced options
-	include stdmenu.cfg
-	label mainmenu
-		menu label ^Back..
-		menu exit
-	include adtxt.cfg
-	include amdadtxt.cfg
-	include adgtk.cfg
-	include amdadgtk.cfg
-menu end
-label help
-	menu label ^Help
-	text help
-   Display help screens; type 'menu' at boot prompt to return to this menu
-	endtext
-	config prompt.cfg
-include spk.cfg
-include amdspk.cfg
-include spkgtk.cfg
-include amdspgtk.cfg