8271dce78b0afe09aa0b98c08201ea4e72b95b40 - platform/eclipse.platform.resources

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>

bundles/org.eclipse.core.resources/src/org/eclipse/core/internal/resources/SaveManager.java[diff]

1 file changed

tree: 72ccdfc742b9bbb4a376e5eb1a23fc7ebca76d34

.mvn/
bundles/
tests/
.gitignore
CONTRIBUTING
CONTRIBUTING.md
Jenkinsfile
LICENSE
NOTICE
pom.xml