# HG changeset patch
# User Claus Gittinger <cg@exept.de>
# Date 1256241229 -7200
# Node ID b26986ad5ab9ea79fdca2be6f1c6e4a1474a8562
# Parent  2364532908a5ea4237ef11ec7fb2395b24c6d676
changed: #menu

diff -r 2364532908a5 -r b26986ad5ab9 UIHelpTool.st
--- a/UIHelpTool.st	Thu Oct 22 21:51:46 2009 +0200
+++ b/UIHelpTool.st	Thu Oct 22 21:53:49 2009 +0200
@@ -504,7 +504,7 @@
             submenuChannel: menuHistory
           )
          (MenuItem
-            label: 'Help'
+            label: 'MENU_Help'
             translateLabel: true
             startGroup: conditionalRight
             submenuChannel: menuHelp
@@ -1439,4 +1439,8 @@
 
 version
     ^ '$Header$'
+!
+
+version_CVS
+    ^ '$Header$'
 ! !