# HG changeset patch
# User diego
# Date 1106408854 0
# Node ID 31ae29e095b694dade18990dc597aa9577770fa9
# Parent  7a3ada58992bc036360d336b4773638ea5d1d6a9
Remove obsolete options.

diff -r 7a3ada58992b -r 31ae29e095b6 etc/menu.conf
--- a/etc/menu.conf	Sat Jan 22 14:28:23 2005 +0000
+++ b/etc/menu.conf	Sat Jan 22 15:47:34 2005 +0000
@@ -69,14 +69,13 @@
       <e name="fs"/>
       <e name="geometry"/>
       <e name="hue"/>
-      <e name="icelayer"/>
       <e name="noslices"/>
       <e name="panscan"/>
       <e name="rootwin"/>
       <e name="saturation"/>
       <e name="vm"/>
       <e name="vo"/>
-      <e name="vop"/>
+      <e name="vf"/>
       <e name="xineramascreen"/>
  </pref>