uidesigner/com.nokia.sdt.uidesigner/.settings/org.eclipse.jdt.ui.prefs
branchRCL_2_4
changeset 807 ad2d5f6b8dcb
parent 0 fb279309251b