uidesigner/com.nokia.sdt.uidesigner/.settings/org.eclipse.jdt.ui.prefs
changeset 2082 efbf4aa05426
parent 0 fb279309251b
equal deleted inserted replaced
2081:04febc5a4532 2082:efbf4aa05426