.settings/org.eclipse.cdt.core.prefs
changeset 571 97b85630e496
parent 0 fb772792efd1
equal deleted inserted replaced
570:cb704eca7e37 571:97b85630e496