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