--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/isolinux/menu.cfg Thu Dec 11 10:17:25 2014 +0100
@@ -0,0 +1,32 @@
+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