tools/JavaSettingsApplication.st
branchdevelopment
changeset 2007 6eac81f7f606
parent 2005 f5f046bfdfc6
parent 2003 adb206f8e04d
child 2028 32cf03259eb9
--- a/tools/JavaSettingsApplication.st	Tue Jan 29 15:15:51 2013 +0000
+++ b/tools/JavaSettingsApplication.st	Tue Jan 29 16:18:09 2013 +0000
@@ -770,7 +770,7 @@
 !
 
 version_SVN
-    ^ '§Id::                                                                                                                        §'
+    ^ 'Id::                                                                                                                        '
 ! !