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

commit: 924a75b91d2deab2b7f7cf042346d9b938ff8a3d
[log] [tgz]
author: John Arthorne <johna>
Mon Aug 27 15:44:06 2001 +0000
committer: John Arthorne <johna>
Mon Aug 27 15:44:06 2001 +0000
tree: 3c8bfd450a8378a4211af8820dd92fd4202bc222
parent: 986f3bda402921616210db2c6d8285e123372402 [diff]

More optimizations, see summary in 1GHFO1M

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

1 file changed

tree: 3c8bfd450a8378a4211af8820dd92fd4202bc222