platform/org.eclipse.core.resources/plugin.properties
changeset 137 f800d58f08b0
parent 12 063eb66097dc