branch | jv |
changeset 4384 | e28fcaaf93c7 |
parent 3243 | 292f55bcd8f0 |
--- a/SourceCodeManagerUtilitiesForWorkspaceBasedManagers.st Wed Nov 07 12:40:08 2018 +0000 +++ b/SourceCodeManagerUtilitiesForWorkspaceBasedManagers.st Wed Nov 14 12:47:50 2018 +0100 @@ -236,6 +236,6 @@ ! version_SVN - ^ '§Id:: SourceCodeManagerUtilitiesForWorkspaceBasedManagers.st 1971 2012-09-27 19:37:25Z vranyj1 §' + ^ '§Id:: SourceCodeManagerUtilitiesForWorkspaceBasedManagers.st 1971 2012-09-27 19:37:25Z vranyj1 §' ! !