| branch | jv |
| changeset 3128 | 87750af738dc |
| parent 3125 | 08d6603c4fe9 |
| parent 3121 | 19723298dd2c |
| child 3158 | f8c56a311307 |
--- a/CVSSourceCodeManager.st Fri Mar 22 10:31:12 2013 +0000 +++ b/CVSSourceCodeManager.st Fri Mar 22 11:11:55 2013 +0000 @@ -5196,7 +5196,7 @@ ! version_SVN - ^ '$Id: CVSSourceCodeManager.st 1981 2012-11-30 17:20:01Z vranyj1 $' + ^ '§Id: CVSSourceCodeManager.st 1981 2012-11-30 17:20:01Z vranyj1 §' ! !