.settings/org.eclipse.cdt.core.prefs
changeset 1012 1f2af384fb1f
parent 0 fb772792efd1
equal deleted inserted replaced
1011:76175defb87b 1012:1f2af384fb1f