.settings/org.eclipse.core.resources.prefs
changeset 1372 b82668d5bc1c
parent 1369 e7cd1595f512
child 1373 c9ed2ae1a902