changeset 2665 | b26986ad5ab9 |
parent 2127 | e629b1f6c81b |
child 2772 | 647f186ccb22 |
--- 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$' ! !