devtools/PPDebugger.st
changeset 642 77d5fddb6462
parent 127 18f560ebccaa
--- a/devtools/PPDebugger.st	Sat Mar 19 00:12:47 2016 +0100
+++ b/devtools/PPDebugger.st	Wed Nov 14 13:01:14 2018 +0100
@@ -1,3 +1,5 @@
+"{ Encoding: utf8 }"
+
 "{ Package: 'stx:goodies/petitparser/devtools' }"
 
 Object subclass:#PPDebugger
@@ -77,5 +79,5 @@
 !
 
 version_SVN
-    ^ '§Id: PPDebugger.st 10 2012-05-04 18:54:13Z vranyj1 §'
+    ^ '§Id: PPDebugger.st 10 2012-05-04 18:54:13Z vranyj1 §'
 ! !