- outdated for build10

Changed files:
    widelands-gcc4.patch -> 1.2

diff --git a/widelands-gcc4.patch b/widelands-gcc4.patch
deleted file mode 100644 (file)
index 66aec7c..0000000
--- a/widelands-gcc4.patch
+++ /dev/null
@@ -1,11 +0,0 @@
---- widelands-b9half/src/ui/ui_fs_menus/fullscreen_menu_options.h~     2005-11-08 13:29:25.000000000 +0100
-+++ widelands-b9half/src/ui/ui_fs_menus/fullscreen_menu_options.h      2007-05-26 20:36:50.030972199 +0200
-@@ -63,7 +63,7 @@
- class Fullscreen_Menu_Options : public Fullscreen_Menu_Base {
- public:
-       Fullscreen_Menu_Options(Options_Ctrl::Options_Struct opt);
--      Options_Ctrl::Options_Struct Fullscreen_Menu_Options::get_values();
-+      Options_Ctrl::Options_Struct get_values();
-    enum {
-       om_cancel = 0,
-       om_ok = 1