uidesigner/com.nokia.sdt.uidesigner/.settings/org.eclipse.jdt.ui.prefs
changeset 1250 5995486b4bed
parent 0 fb279309251b
equal deleted inserted replaced
1249:8eb0d2bd6e73 1250:5995486b4bed