.settings/org.eclipse.core.resources.prefs
changeset 1370 166d4c070210
parent 1369 e7cd1595f512
child 1373 c9ed2ae1a902