carbidecpp22devenv/configuration/.settings/org.eclipse.ui.ide.prefs
changeset 692 15c009b9f52e
parent 5 684bf18fdedf