BookmarkEditor.st
branchjv
changeset 18532 cccb41254edf
parent 12431 9f0c59c742d5
--- a/BookmarkEditor.st	Thu Oct 11 14:14:49 2018 +0200
+++ b/BookmarkEditor.st	Wed Nov 14 11:58:00 2018 +0100
@@ -1,3 +1,5 @@
+"{ Encoding: utf8 }"
+
 "
  Copyright (c) 2007-2010 Jan Vrany, SWING Research Group, Czech Technical University in Prague
  Copyright (c) 2009-2010 eXept Software AG
@@ -65,7 +67,7 @@
 !BookmarkEditor class methodsFor:'documentation'!
 
 version_CVS
-    ^ '§Header: /cvs/stx/stx/libtool/BookmarkEditor.st,v 1.2 2011/07/03 18:00:45 cg Exp §'
+    ^ '§Header: /cvs/stx/stx/libtool/BookmarkEditor.st,v 1.2 2011/07/03 18:00:45 cg Exp §'
 !
 
 version_HG