.settings/org.eclipse.core.resources.prefs
changeset 34 b1fd0e0197c8
parent 33 61c3ffd94f11
child 35 859862939996
equal deleted inserted replaced
33:61c3ffd94f11 34:b1fd0e0197c8