project/com.nokia.carbide.cpp.epoc.engine/.settings/org.eclipse.jdt.ui.prefs
changeset 1868 99037db0f060
parent 0 fb279309251b