[gnome-mines] app menu: standardize Help/About/Quit

[Michael Catanzaro <mcatanzaro src gnome org>]

commit 558b83e6615db5372fca4bc88fc7840c8092281c
Author: Michael Catanzaro <mcatanzaro gnome org>
Date:   Mon Dec 9 12:16:32 2013 -0600

    app menu: standardize Help/About/Quit
    
    Remove the separator between About and Quit
    
    https://wiki.gnome.org/Design/HIG/ApplicationMenus

 src/gnome-mines.vala |    2 --
 1 files changed, 0 insertions(+), 2 deletions(-)
---
diff --git a/src/gnome-mines.vala b/src/gnome-mines.vala
index 70d4573..29e6296 100644
--- a/src/gnome-mines.vala
+++ b/src/gnome-mines.vala
@@ -112,8 +112,6 @@ public class Mines : Gtk.Application
         menu.append_section (null, section);
         section.append (_("_Help"), "app.help");
         section.append (_("_About"), "app.about");
-        section = new Menu ();
-        menu.append_section (null, section);
         section.append (_("_Quit"), "app.quit");
         set_app_menu (menu);