uidesigner/com.nokia.sdt.uidesigner/.settings/org.eclipse.jdt.ui.prefs
changeset 144 2186d87291d2
parent 0 fb279309251b
equal deleted inserted replaced
137:cb21b2ba1f9d 144:2186d87291d2