builder/com.nokia.carbide.cdt.builder/plugin.properties
changeset 743 78fd666a897a
parent 287 fcb0ab439c55
equal deleted inserted replaced
742:9fca333f8b5e 743:78fd666a897a