# HG changeset patch
# User Claus Gittinger <cg@exept.de>
# Date 1572583778 -3600
# Node ID f7777887c17cdc473fe3742b0d58ccc7c62a0448
# Parent  8f68f4fb0756856d509c00e8a5ee1d77b7d2db12
#OTHER by exept
comment/format in: #openDocumentation

diff -r 8f68f4fb0756 -r f7777887c17c Tools__ObjectModuleInformation.st
--- 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"