.settings/org.eclipse.cdt.core.prefs
changeset 936 0f7bcc160568
parent 0 fb772792efd1
equal deleted inserted replaced
935:be4373d07201 936:0f7bcc160568