.settings/org.eclipse.core.resources.prefs
changeset 1371 17b7a6d9959d
parent 1369 e7cd1595f512
child 1373 c9ed2ae1a902