uidesigner/com.nokia.sdt.uidesigner/.settings/org.eclipse.jdt.ui.prefs
changeset 1519 ab4f029618cb
parent 0 fb279309251b
equal deleted inserted replaced
1518:32748ddc5cdb 1519:ab4f029618cb