platform/org.eclipse.platform-feature/feature.properties
changeset 20 f2052eb98ec7
parent 13 beea6aba40fd