project/com.nokia.carbide.cpp.epoc.engine/.settings/org.eclipse.jdt.ui.prefs
changeset 1003 22361e311ca4
parent 0 fb279309251b