.settings/org.eclipse.core.resources.prefs
changeset 1189 8d419bc64a9b
parent 1181 6ab716dd58f8
child 1190 129d45eec68c