.settings/org.eclipse.core.resources.prefs
changeset 64 d6639b856dc1
parent 56 c856e4b25963
child 68 b40657713336
equal deleted inserted replaced
63:94d6891f3326 64:d6639b856dc1