.settings/org.eclipse.cdt.core.prefs
changeset 673 90d7636e3c39
parent 0 fb772792efd1
equal deleted inserted replaced
672:dee28c5bdc73 673:90d7636e3c39