--- a/GDBMI_exec_run.st	Fri May 26 08:03:41 2017 +0100
+++ b/GDBMI_exec_run.st	Fri May 26 08:05:28 2017 +0100
@@ -1,5 +1,3 @@
-"{ Encoding: utf8 }"
-
 "{ Package: 'jv:libgdbs' }"
 
 "{ NameSpace: Smalltalk }"
changeset 78	c24e7d8bc881
parent 61	b68d121e3895
child 85	6fea1000a2a5