.settings/org.eclipse.core.runtime.prefs
changeset 1353 08f25d0c9602
parent 146 e2d3fa7aad7c
equal deleted inserted replaced
1352:ddcabeae57b5 1353:08f25d0c9602