.settings/org.eclipse.core.resources.prefs
changeset 868 2ade832d1462
parent 853 ca39a8cf816f
child 974 328aea4ee92b
equal deleted inserted replaced
867:534c13786e89 868:2ade832d1462