.settings/org.eclipse.cdt.core.prefs
changeset 787 6e2671e0f1a8
parent 0 fb772792efd1