branch | jv |
changeset 12254 | b1237f76f501 |
parent 12229 | 5c129972b1fd |
child 12262 | d25ef6bb0ef3 |
--- a/Tools__NavigationState.st Wed May 30 21:46:55 2012 +0100 +++ b/Tools__NavigationState.st Tue Jun 05 15:49:00 2012 +0100 @@ -1673,5 +1673,5 @@ ! version_SVN - ^ '$Id: Tools__NavigationState.st 7978 2012-04-13 13:15:47Z vranyj1 $' + ^ '$Id: Tools__NavigationState.st 8007 2012-06-05 14:49:00Z vranyj1 $' ! !