Tools__NavigationState.st
branchjv
changeset 12205 f210b6224ef0
parent 12194 4639848e5517
child 12225 60dfd3fa018d
--- a/Tools__NavigationState.st	Wed Mar 21 14:05:42 2012 +0000
+++ b/Tools__NavigationState.st	Wed Mar 21 17:50:14 2012 +0000
@@ -1673,5 +1673,5 @@
 !
 
 version_SVN
-    ^ '$Id: Tools__NavigationState.st 7940 2012-03-17 20:05:16Z vranyj1 $'
+    ^ '$Id: Tools__NavigationState.st 7952 2012-03-21 17:50:14Z vranyj1 $'
 ! !