uidesigner/com.nokia.sdt.uidesigner/.settings/org.eclipse.jdt.ui.prefs
changeset 842 c04fe9c0541d
parent 0 fb279309251b
equal deleted inserted replaced
841:80149e1e5ec6 842:c04fe9c0541d