refs/heads/R3_4_maintenance - platform/eclipse.platform.resources - Git at Google

commit: f295bf1f14c09e7cfd8144a28969767b497f953f
[log] [tgz]
author: Szymon Brandys <sbrandys>
Mon Jun 13 14:46:40 2011 +0000
committer: Szymon Brandys <sbrandys>
Mon Jun 13 14:46:40 2011 +0000
tree: 08c934ac59ab6be6749130dc136d32f6882834e1
parent: 6375026627c8a2bc3e8a99a54c381988c4b1ea58 [diff]

Bug 345547 - [Backport] ObjectNotFoundException prevents opening workspace

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

1 file changed

tree: 08c934ac59ab6be6749130dc136d32f6882834e1