builder/com.nokia.carbide.cdt.builder/plugin.properties
changeset 835 565becd9a91e
parent 287 fcb0ab439c55
equal deleted inserted replaced
834:0c7ceea480fb 835:565becd9a91e