.settings/org.eclipse.cdt.core.prefs
changeset 507 30b31d8f6d0f
parent 0 fb772792efd1
equal deleted inserted replaced
506:2b4e69c7ff8b 507:30b31d8f6d0f