uidesigner/com.nokia.sdt.uidesigner/.settings/org.eclipse.jdt.ui.prefs
changeset 1722 950f9b0d90b0
parent 0 fb279309251b
equal deleted inserted replaced
1721:18638adda547 1722:950f9b0d90b0