ProfileTree.st
branchjv
changeset 3128 87750af738dc
parent 3125 08d6603c4fe9
parent 3121 19723298dd2c
child 3970 6137854c2085
--- a/ProfileTree.st	Fri Mar 22 10:31:12 2013 +0000
+++ b/ProfileTree.st	Fri Mar 22 11:11:55 2013 +0000
@@ -501,7 +501,7 @@
 !ProfileTree class methodsFor:'documentation'!
 
 version
-    ^ '$Id: ProfileTree.st 1909 2012-03-31 00:14:49Z vranyj1 $'
+    ^ '$Header: ProfileTree.st 1909 2012-03-31 00:14:49Z vranyj1 $'
 !
 
 version_HG
@@ -510,6 +510,6 @@
 !
 
 version_SVN
-    ^ '$Id: ProfileTree.st 1909 2012-03-31 00:14:49Z vranyj1 $'
+    ^ '§Id: ProfileTree.st 1909 2012-03-31 00:14:49Z vranyj1 §'
 ! !