.settings/org.eclipse.cdt.core.prefs
changeset 1084 54f72ee52708
parent 0 fb772792efd1
equal deleted inserted replaced
1083:fc23bca885f8 1084:54f72ee52708