.settings/org.eclipse.cdt.core.prefs
changeset 255 86ef2244aef1
parent 0 fb772792efd1
equal deleted inserted replaced
254:28bd86c56793 255:86ef2244aef1