ElementBoundsError.st
branchjv
changeset 23547 c69c97cec351
parent 20578 39641ba8d6e0
--- a/ElementBoundsError.st	Wed Oct 24 11:58:10 2018 +0100
+++ b/ElementBoundsError.st	Tue Nov 13 15:58:15 2018 +0100
@@ -1,5 +1,3 @@
-"{ Encoding: utf8 }"
-
 "
  COPYRIGHT (c) 2001 by eXept Software AG
               All Rights Reserved