.settings/org.eclipse.core.resources.prefs
changeset 89 4196849b15d3
parent 70 97e57904f11d
equal deleted inserted replaced
88:b523b73ae39d 89:4196849b15d3