.settings/org.eclipse.core.resources.prefs
changeset 1183 d6cd3baa8b00
parent 1181 6ab716dd58f8
child 1190 129d45eec68c