platform/org.eclipse.platform-feature/feature.properties
changeset 83 eb76ac5926e9
parent 13 beea6aba40fd