HistoryManager.st
branchjv
changeset 3011 1997ff6e7e55
parent 2641 e15145843efe
child 3012 4f40b8304d54
--- a/HistoryManager.st	Thu Jan 26 14:54:07 2012 +0100
+++ b/HistoryManager.st	Sun Jan 29 12:51:41 2012 +0000
@@ -1003,7 +1003,7 @@
 !
 
 version
-    ^ '$Header: /cvs/stx/stx/libbasic3/HistoryManager.st,v 1.82 2011-12-04 14:45:34 cg Exp $'
+    ^ '$Header: /cvs/stx/stx/libbasic3/HistoryManager.st,v 1.82 2011/12/04 14:45:34 cg Exp $'
 ! !
 
 !HistoryManager::HistoryLine class methodsFor:'filtering'!
@@ -1698,8 +1698,8 @@
 !HistoryManager class methodsFor:'documentation'!
 
 version_CVS
-    ^ '$Header: /cvs/stx/stx/libbasic3/HistoryManager.st,v 1.82 2011-12-04 14:45:34 cg Exp $'
+    ^ '§Header: /cvs/stx/stx/libbasic3/HistoryManager.st,v 1.82 2011/12/04 14:45:34 cg Exp §'
 ! !
 
 HistoryManager initialize!
-HistoryManager::HistoryLine initialize!
+HistoryManager::HistoryLine initialize!
\ No newline at end of file