diff options
Diffstat (limited to 'games/gnome-games/files/patch-gnobots2_properties.c')
| -rw-r--r-- | games/gnome-games/files/patch-gnobots2_properties.c | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/games/gnome-games/files/patch-gnobots2_properties.c b/games/gnome-games/files/patch-gnobots2_properties.c deleted file mode 100644 index 6a5a72646898..000000000000 --- a/games/gnome-games/files/patch-gnobots2_properties.c +++ /dev/null @@ -1,10 +0,0 @@ ---- gnobots2/properties.c.orig 2007-09-07 15:39:29.000000000 -0500 -+++ gnobots2/properties.c 2007-09-07 15:41:56.000000000 -0500 -@@ -116,6 +116,7 @@ - static void defkey_cb (GtkWidget *, gpointer); - static void fill_typemenu (GtkWidget *); - static void conf_set_background_color (GdkColor * c); -+static void load_keys (void); - /**********************************************************************/ - - |