.settings/org.eclipse.core.resources.prefs
changeset 79 c7de7a56164d
parent 67 5d9223bb3aab
child 86 bf707ad8aa1a
child 91 3bbf7371378a