From ec100930e00f8e2f11e7754ea95d75b2b60d3056 Mon Sep 17 00:00:00 2001
From: curt <curt>
Date: Thu, 5 Sep 2002 19:59:38 +0000
Subject: [PATCH] Erik Hofman:

There was a duplicate <seperator> tag for the File submenu, which is
removed now.
---
 menu.xml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/menu.xml b/menu.xml
index c76efc754..4a49154c8 100644
--- a/menu.xml
+++ b/menu.xml
@@ -20,9 +20,6 @@
    <option>
     <seperator/>
    </option>
-   <option>
-    <seperator/>
-   </option>
    <option>
     <name>Hires Snap Shot</name>
     <call>dumpHiResSnapShot</call>