changeset 18253 | 7902bd5cd26e |
parent 17989 | fe5233911e1b |
child 18255 | d81e4466079e |
--- a/ChangeSetBrowser.st Sun Jul 01 09:26:22 2018 +0200 +++ b/ChangeSetBrowser.st Sun Jul 01 09:26:29 2018 +0200 @@ -220,7 +220,7 @@ ) ) (MenuItem - label: 'Change' + label: 'Change_subst' translateLabel: true submenu: (Menu @@ -545,6 +545,8 @@ nil nil ) + + "Modified: / 01-07-2018 / 09:24:35 / Claus Gittinger" ! ! !ChangeSetBrowser methodsFor:'aspects'!