[polari] app-menu: Remove 'Preference' item for now

[Florian Müllner <fmuellner src gnome org>]

commit d48e765fcf4acc04ca252be5c5846cf8bd0ffe6c
Author: Florian Müllner <fmuellner gnome org>
Date:   Tue Oct 1 22:37:32 2013 +0200

    app-menu: Remove 'Preference' item for now
    
    Until we actually have some preferences to configure, there's little
    point in having a dead menu item for it ...

 data/resources/app-menu.ui |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/data/resources/app-menu.ui b/data/resources/app-menu.ui
index c5cba80..0978fab 100644
--- a/data/resources/app-menu.ui
+++ b/data/resources/app-menu.ui
@@ -5,10 +5,12 @@
         <attribute name="action">app.connections</attribute>
         <attribute name="label" translatable="yes">Connections</attribute>
       </item>
+      <!--
       <item>
         <attribute name="action">app.preferences</attribute>
         <attribute name="label" translatable="yes">Preferences</attribute>
       </item>
+      -->
     </section>
     <section>
       <item>