.settings/org.eclipse.core.resources.prefs
changeset 52 6a542c8e1b96
parent 50 3d97754e4181
child 59 d81fcb734e6c
equal deleted inserted replaced
51:c032ae51be17 52:6a542c8e1b96