Tools__NavigationState.st
branchjv
changeset 12229 5c129972b1fd
parent 12225 60dfd3fa018d
child 12254 b1237f76f501
--- a/Tools__NavigationState.st	Wed Apr 11 17:14:22 2012 +0100
+++ b/Tools__NavigationState.st	Fri Apr 13 14:15:47 2012 +0100
@@ -1673,5 +1673,5 @@
 !
 
 version_SVN
-    ^ '$Id: Tools__NavigationState.st 7973 2012-04-06 15:56:16Z vranyj1 $'
+    ^ '$Id: Tools__NavigationState.st 7978 2012-04-13 13:15:47Z vranyj1 $'
 ! !