uidesigner/com.nokia.sdt.uidesigner/.settings/org.eclipse.jdt.ui.prefs
changeset 1340 79f4dd41f5d8
parent 0 fb279309251b
equal deleted inserted replaced
1332:92022c5cf7b8 1340:79f4dd41f5d8