[gnome-builder] menus: don't duplicate menu items

[Michael Catanzaro <mcatanzaro src gnome org>]

commit cb1eaa615f1cf53e9e40467bad09abb79ef6ce17
Author: Michael Catanzaro <mcatanzaro gnome org>
Date:   Sun Dec 28 10:19:49 2014 -0600

    menus: don't duplicate menu items
    
    Items in the app menu should not additionally be available through the
    window menu.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=742064

 src/resources/gtk/menus.ui |   15 ---------------
 1 files changed, 0 insertions(+), 15 deletions(-)
---
diff --git a/src/resources/gtk/menus.ui b/src/resources/gtk/menus.ui
index d2fdb8d..3cf6343 100644
--- a/src/resources/gtk/menus.ui
+++ b/src/resources/gtk/menus.ui
@@ -92,21 +92,6 @@
       <submenu>
         <attribute name="label" translatable="yes">Tools</attribute>
       </submenu>
-      <submenu>
-        <attribute name="label" translatable="yes">Help</attribute>
-        <item>
-          <attribute name="label" translatable="yes">_Help</attribute>
-          <attribute name="action">app.help</attribute>
-        </item>
-        <item>
-          <attribute name="label" translatable="yes">_About Builder</attribute>
-          <attribute name="action">win.about</attribute>
-        </item>
-        <item>
-          <attribute name="label" translatable="yes">Generate Support Log</attribute>
-          <attribute name="action">app.support</attribute>
-        </item>
-      </submenu>
     </section>
     <section>
       <attribute name="id">close-section</attribute>