.settings/org.eclipse.cdt.core.prefs
changeset 730 88595935a952
parent 0 fb772792efd1
equal deleted inserted replaced
729:3840cb4a623a 730:88595935a952