platform/org.eclipse.platform-feature/feature.properties
changeset 19 89d3c8eb71dd
parent 13 beea6aba40fd