.settings/org.eclipse.core.resources.prefs
changeset 88 87443e64bece
parent 86 bf707ad8aa1a
equal deleted inserted replaced
87:70cc8154164c 88:87443e64bece