diff options
author | Pascal Wittmann <mail@pascal-wittmann.de> | 2015-05-31 16:44:16 +0200 |
---|---|---|
committer | Pascal Wittmann <mail@pascal-wittmann.de> | 2015-05-31 16:44:16 +0200 |
commit | 66433822d3294e11dbe1735df151eaffa0b75684 (patch) | |
tree | 97dc45cd3a44cbc06c6ee3ed0738478997801f40 | |
parent | 59943d69f990b177c4bf47bad564e001456ce7a9 (diff) |
supertux: remove obsolete patch
-rw-r--r-- | pkgs/games/super-tux/g++4.patch | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/pkgs/games/super-tux/g++4.patch b/pkgs/games/super-tux/g++4.patch deleted file mode 100644 index a7378c80a29bc..0000000000000 --- a/pkgs/games/super-tux/g++4.patch +++ /dev/null @@ -1,13 +0,0 @@ -diff --git a/src/menu.h b/src/menu.h -index 3c67c45..7c7ab8e 100644 ---- a/src/menu.h -+++ b/src/menu.h -@@ -207,7 +207,7 @@ public: - - bool isToggled(int id); - -- void Menu::get_controlfield_key_into_input(MenuItem *item); -+ void get_controlfield_key_into_input(MenuItem *item); - - void draw (); - void draw_item(int index, int menu_width, int menu_height); |