platform/org.eclipse.core.resources/.options
branchRCL_2_4
changeset 140 6d6cf3bdff43
parent 12 063eb66097dc