Tools__NavigationState.st
branchjv
changeset 12296 6921627a8c27
parent 12292 ecc23f7c8dde
child 12301 d9f03189bb66
--- a/Tools__NavigationState.st	Tue Sep 18 11:39:12 2012 +0100
+++ b/Tools__NavigationState.st	Thu Sep 27 21:08:20 2012 +0100
@@ -1673,5 +1673,5 @@
 !
 
 version_SVN
-    ^ '$Id: Tools__NavigationState.st 8054 2012-09-13 09:15:20Z vranyj1 $'
+    ^ '$Id: Tools__NavigationState.st 8059 2012-09-27 20:08:20Z vranyj1 $'
 ! !