[gnome-games] gnomine: Add missing preferences menu item

[Robert Ancell <rancell src gnome org>]

commit d17fd8f03c6df950d01514e4da6495d692dce761
Author: Robert Ancell <robert ancell canonical com>
Date:   Wed Feb 22 09:26:21 2012 +1100

    gnomine: Add missing preferences menu item

 gnomine/data/gnomine.ui |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/gnomine/data/gnomine.ui b/gnomine/data/gnomine.ui
index 51b9aec..b42d414 100644
--- a/gnomine/data/gnomine.ui
+++ b/gnomine/data/gnomine.ui
@@ -23,6 +23,10 @@
         <attribute name="label" translatable="yes">_Scores</attribute>
         <attribute name="action">app.scores</attribute>
       </item>
+      <item>
+        <attribute name="label" translatable="yes">_Preferences</attribute>
+        <attribute name="action">app.preferences</attribute>
+      </item>
     </section>
     <section>
       <item>