branch | jv |
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 $' ! !