equal
deleted
inserted
replaced
214 <plugin id="org.eclipse.ui.browser"/> |
214 <plugin id="org.eclipse.ui.browser"/> |
215 <plugin id="org.eclipse.ui.cheatsheets"/> |
215 <plugin id="org.eclipse.ui.cheatsheets"/> |
216 <plugin id="org.eclipse.ui.cocoa" fragment="true"/> |
216 <plugin id="org.eclipse.ui.cocoa" fragment="true"/> |
217 <plugin id="org.eclipse.ui.console"/> |
217 <plugin id="org.eclipse.ui.console"/> |
218 <plugin id="org.eclipse.ui.editors"/> |
218 <plugin id="org.eclipse.ui.editors"/> |
219 <plugin id="org.eclipse.ui.externaltools"/> |
|
220 <plugin id="org.eclipse.ui.forms"/> |
219 <plugin id="org.eclipse.ui.forms"/> |
221 <plugin id="org.eclipse.ui.ide"/> |
220 <plugin id="org.eclipse.ui.ide"/> |
222 <plugin id="org.eclipse.ui.ide.application"/> |
221 <plugin id="org.eclipse.ui.ide.application"/> |
223 <plugin id="org.eclipse.ui.intro"/> |
222 <plugin id="org.eclipse.ui.intro"/> |
224 <plugin id="org.eclipse.ui.intro.universal"/> |
223 <plugin id="org.eclipse.ui.intro.universal"/> |