HistoryManager.st
branchjv
changeset 3042 48e76977cdc3
parent 3012 4f40b8304d54
child 3044 a3de795a9cdd
--- a/HistoryManager.st	Thu Mar 29 21:39:17 2012 +0100
+++ b/HistoryManager.st	Sat Mar 31 01:14:49 2012 +0100
@@ -1003,7 +1003,7 @@
 !
 
 version
-    ^ '$Id: HistoryManager.st 1872 2012-01-30 17:19:14Z vranyj1 $'
+    ^ '$Id: HistoryManager.st 1909 2012-03-31 00:14:49Z vranyj1 $'
 ! !
 
 !HistoryManager::HistoryLine class methodsFor:'filtering'!
@@ -1702,7 +1702,7 @@
 !
 
 version_SVN
-    ^ '$Id: HistoryManager.st 1872 2012-01-30 17:19:14Z vranyj1 $'
+    ^ '$Id: HistoryManager.st 1909 2012-03-31 00:14:49Z vranyj1 $'
 ! !
 
 HistoryManager initialize!