.settings/org.eclipse.cdt.core.prefs
changeset 569 0d1ab9e78574
parent 0 fb772792efd1
equal deleted inserted replaced
568:5f79478142d7 569:0d1ab9e78574