[gnome-builder] menus: remove unused sections

[Christian Hergert <chergert src gnome org>]

commit fbebaa2d3c654c0c0d7d5599cb68f5c359edb7a4
Author: Christian Hergert <christian hergert me>
Date:   Sun Jan 18 23:35:40 2015 -0800

    menus: remove unused sections

 src/resources/gtk/menus.ui |    8 --------
 1 files changed, 0 insertions(+), 8 deletions(-)
---
diff --git a/src/resources/gtk/menus.ui b/src/resources/gtk/menus.ui
index 3cf6343..0424745 100644
--- a/src/resources/gtk/menus.ui
+++ b/src/resources/gtk/menus.ui
@@ -86,14 +86,6 @@
       </item>
     </section>
     <section>
-      <submenu>
-        <attribute name="label" translatable="yes">View</attribute>
-      </submenu>
-      <submenu>
-        <attribute name="label" translatable="yes">Tools</attribute>
-      </submenu>
-    </section>
-    <section>
       <attribute name="id">close-section</attribute>
       <item>
         <attribute name="label" translatable="yes">_Close All</attribute>