HistoryManager.st
branchjv
changeset 3121 19723298dd2c
parent 3090 94c427846620
child 3128 87750af738dc
--- a/HistoryManager.st	Mon Jan 21 09:21:30 2013 +0000
+++ b/HistoryManager.st	Tue Jan 29 14:40:26 2013 +0000
@@ -1022,7 +1022,7 @@
 !
 
 version
-    ^ '$Id: HistoryManager.st 1974 2012-10-08 13:01:07Z vranyj1 $'
+    ^ '$Header: HistoryManager.st 1974 2012-10-08 13:01:07Z vranyj1 $'
 ! !
 
 !HistoryManager::HistoryLine class methodsFor:'filtering'!
@@ -1718,12 +1718,18 @@
 !HistoryManager class methodsFor:'documentation'!
 
 version
-    ^ '$Id: HistoryManager.st 1974 2012-10-08 13:01:07Z vranyj1 $'
+    ^ '$Header: HistoryManager.st 1974 2012-10-08 13:01:07Z vranyj1 $'
+!
+
+version_HG
+
+    ^ '$Changeset: <not expanded> $'
 !
 
 version_SVN
-    ^ '$Id: HistoryManager.st 1974 2012-10-08 13:01:07Z vranyj1 $'
+    ^ '§Id: HistoryManager.st 1974 2012-10-08 13:01:07Z vranyj1 §'
 ! !
 
+
 HistoryManager initialize!
 HistoryManager::HistoryLine initialize!