uidesigner/com.nokia.sdt.uidesigner/.settings/org.eclipse.jdt.ui.prefs
changeset 1599 e6d4a94a48d3
parent 0 fb279309251b
equal deleted inserted replaced
1594:92ca7b538bd2 1599:e6d4a94a48d3