.settings/org.eclipse.core.resources.prefs
changeset 133 d4c6a262c600
parent 124 dd5358d4d2ac
child 137 e2043b49682d
equal deleted inserted replaced
132:717bb6d5bbcd 133:d4c6a262c600