Tools__NavigatorModel.st
branchjv
changeset 12254 b1237f76f501
parent 12229 5c129972b1fd
child 12262 d25ef6bb0ef3
--- a/Tools__NavigatorModel.st	Wed May 30 21:46:55 2012 +0100
+++ b/Tools__NavigatorModel.st	Tue Jun 05 15:49:00 2012 +0100
@@ -351,7 +351,7 @@
 !
 
 version_SVN
-    ^ '$Id: Tools__NavigatorModel.st 7978 2012-04-13 13:15:47Z vranyj1 $'
+    ^ '$Id: Tools__NavigatorModel.st 8007 2012-06-05 14:49:00Z vranyj1 $'
 ! !
 
 NavigatorModel initialize!