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