.settings/org.eclipse.core.resources.prefs
changeset 205 258a2dbf4042
parent 203 f7efdd99b3f9
child 206 16b49f9cd7a8
equal deleted inserted replaced
204:f1051af606c9 205:258a2dbf4042