project/com.nokia.carbide.cpp.epoc.engine/.settings/org.eclipse.jdt.ui.prefs
changeset 1817 4eae2726ff31
parent 0 fb279309251b