.settings/org.eclipse.core.resources.prefs
changeset 32251 108df1076a64
parent 1738 d8dcb2ecfd14
equal deleted inserted replaced
32250:8f2cfd334ef8 32251:108df1076a64