Tools__NavigationState.st
branchjv
changeset 12314 0cbf76168690
parent 12308 5d9291c0fc27
child 12430 4579351ee2cb
--- a/Tools__NavigationState.st	Thu Dec 13 14:31:51 2012 +0000
+++ b/Tools__NavigationState.st	Mon Jan 14 11:48:37 2013 +0000
@@ -1712,7 +1712,7 @@
 !
 
 version_SVN
-    ^ '$Id: Tools__NavigationState.st 8074 2012-11-30 17:23:39Z vranyj1 $'
+    ^ '$Id: Tools__NavigationState.st 8083 2013-01-14 11:48:37Z vranyj1 $'
 ! !
 
 NavigationState initialize!