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

commit: 2ad68847ef3ed1b0ab2e593fe2d162f4985f6fec
[log] [tgz]
author: dj <dj_houghton@ca.ibm.com>
Wed Oct 05 15:27:59 2011 -0400
committer: dj <dj_houghton@ca.ibm.com>
Wed Oct 05 15:27:59 2011 -0400
tree: 375ca180f9a4c6758bcf77ff11225ba8cff64428
parent: a14d696328ebceb074473cafd31f3e36eac0863b [diff]

Bug 333726 - [prefs] EclipsePreferences#flush synchronization problems

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

1 file changed

tree: 375ca180f9a4c6758bcf77ff11225ba8cff64428