[gnome-builder] menus: remove old menu items

[Christian Hergert <chergert src gnome org>]

commit 17c1353e5effe96f97223f01366a3658488c861a
Author: Christian Hergert <christian hergert me>
Date:   Wed Dec 10 03:05:14 2014 -0800

    menus: remove old menu items

 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 d828c13..ff976d8 100644
--- a/src/resources/gtk/menus.ui
+++ b/src/resources/gtk/menus.ui
@@ -58,14 +58,6 @@
     <section>
       <attribute name="id">file-section-2</attribute>
       <item>
-        <attribute name="label" translatable="yes">_Save</attribute>
-        <attribute name="action">workbench.save</attribute>
-      </item>
-      <item>
-        <attribute name="label" translatable="yes">_Save As…</attribute>
-        <attribute name="action">workbench.save-as</attribute>
-      </item>
-      <item>
         <attribute name="label" translatable="yes">Save _All</attribute>
         <attribute name="action">workbench.save-all</attribute>
       </item>