diff -r a37b99ec87a1 -r 79810aad4d09 MiniDebugger.st --- a/MiniDebugger.st Thu Sep 22 15:13:02 2016 +0200 +++ b/MiniDebugger.st Thu Sep 22 15:14:14 2016 +0200 @@ -1,3 +1,5 @@ +"{ Encoding: utf8 }" + " COPYRIGHT (c) 1988 by Claus Gittinger All Rights Reserved @@ -883,7 +885,7 @@ '' errorPrintCR. " mhmh end-of-file; - return a 'c' (for continue); hope thats ok. + return a 'c' (for continue); hope that's ok. " cmd := $c ].