| commit | 8271dce78b0afe09aa0b98c08201ea4e72b95b40 | [log] [tgz] |
|---|---|---|
| author | Joerg Kubitz <jkubitz-eclipse@gmx.de> | Tue Feb 15 10:40:26 2022 +0100 |
| committer | Jörg Kubitz <jkubitz-eclipse@gmx.de> | Wed Mar 23 01:40:15 2022 -0400 |
| tree | 72ccdfc742b9bbb4a376e5eb1a23fc7ebca76d34 | |
| parent | 70a787e207bdde722630656b68d720d5077b0e6d [diff] |
Bug 579065 - parallel workspace save copied from jdt JavaModelManager https://bugs.eclipse.org/bugs/show_bug.cgi?id=576646#c30 Change-Id: Id33bfe7e94d5a62c967a5dad120aa007ef845b2a Signed-off-by: Joerg Kubitz <jkubitz-eclipse@gmx.de> Reviewed-on: https://git.eclipse.org/r/c/platform/eclipse.platform.resources/+/190808 Tested-by: Platform Bot <platform-bot@eclipse.org>