uidesigner/com.nokia.sdt.uidesigner/.settings/org.eclipse.jdt.ui.prefs
changeset 173 5afc27b54777
parent 0 fb279309251b
equal deleted inserted replaced
158:8c2b8fd0f189 173:5afc27b54777