changeset 3808 | f7777887c17c |
parent 3486 | b831d1299848 |
--- a/Tools__ObjectModuleInformation.st Fri Nov 01 05:49:34 2019 +0100 +++ b/Tools__ObjectModuleInformation.st Fri Nov 01 05:49:38 2019 +0100 @@ -1,3 +1,5 @@ +"{ Encoding: utf8 }" + " COPYRIGHT (c) 2007 by eXept Software AG All Rights Reserved @@ -1376,6 +1378,8 @@ ! openDocumentation + "Called when <F1> is pressed" + self openHTMLDocument: 'tools/misc/TOP.html#MODULEINFO' "Modified: / 05-10-2007 / 13:11:45 / cg"