uidesigner/com.nokia.sdt.uidesigner/.settings/org.eclipse.jdt.ui.prefs
changeset 434 da3780c8afe3
parent 0 fb279309251b
equal deleted inserted replaced
433:93ea4941aeb5 434:da3780c8afe3