platform/org.eclipse.core.resources/.api_description
changeset 25 68aa5b0d78d4
parent 12 063eb66097dc