[gnome-robots] build: remove references to menu.h

[Michael Catanzaro <mcatanzaro src gnome org>]

commit 05afa2d115bc0e5fb70280ad8266ffb96d326e77
Author: Dominique Leuenberger <dimstar opensuse org>
Date:   Sun Jul 13 15:49:47 2014 +0200

    build: remove references to menu.h
    
    Since commit d57741e9 menu.h no longer exists and is also not
    needed anymore.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=733120

 src/game.c       |    1 -
 src/properties.c |    1 -
 2 files changed, 0 insertions(+), 2 deletions(-)
---
diff --git a/src/game.c b/src/game.c
index 49f3770..5442686 100644
--- a/src/game.c
+++ b/src/game.c
@@ -34,7 +34,6 @@
 #include "gnome-robots.h"
 #include "sound.h"
 #include "properties.h"
-#include "menu.h"
 #include "graphics.h"
 #include "cursors.h"
 #include "games-scores.h"
diff --git a/src/properties.c b/src/properties.c
index 513045c..9d95206 100644
--- a/src/properties.c
+++ b/src/properties.c
@@ -34,7 +34,6 @@
 #include "gbdefs.h"
 #include "keyboard.h"
 #include "game.h"
-#include "menu.h"
 #include "games-file-list.h"
 #include "games-controls.h"
 #include "games-scores.h"