refs/heads/R3_5_maintenance - gerrit/platform/eclipse.platform.resources - Git at Google

commit: c494ef89e145bb1bda93148cd7cd924ee630d3b3
[log] [tgz]
author: Szymon Brandys <sbrandys>
Tue Jun 28 13:12:49 2011 +0000
committer: Szymon Brandys <sbrandys>
Tue Jun 28 13:12:49 2011 +0000
tree: ccfa7c2abf552683ae8b67c2ee348133a7502219
parent: 344e89ffcc356abdd5946dd6fb3b4e331006bff0 [diff]

Bug 345548 - [Backport] ObjectNotFoundException prevents opening workspace

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

1 file changed

tree: ccfa7c2abf552683ae8b67c2ee348133a7502219