.settings/org.eclipse.cdt.core.prefs
changeset 587 1ecf916cc397
parent 0 fb772792efd1
equal deleted inserted replaced
586:b602f0459f17 587:1ecf916cc397