.settings/org.eclipse.core.resources.prefs
changeset 495 c7a352284d1d
parent 492 19220d52bce7
child 545 c752fdee555b