diff options
| author | Dani Megert | 2005-04-06 11:05:43 +0000 |
|---|---|---|
| committer | Dani Megert | 2005-04-06 11:05:43 +0000 |
| commit | e4c53914dc223883d9f7e447ef80212029ee91eb (patch) | |
| tree | 0509cf4e87cc7230b5a8d57deb92d07d4b35274a /org.eclipse.ui.editors/plugin.xml | |
| parent | 518fd696dd7820ff714a91a3bd0ffed9c693ca62 (diff) | |
| download | eclipse.platform.text-e4c53914dc223883d9f7e447ef80212029ee91eb.tar.gz eclipse.platform.text-e4c53914dc223883d9f7e447ef80212029ee91eb.tar.xz eclipse.platform.text-e4c53914dc223883d9f7e447ef80212029ee91eb.zip | |
First cut of manifest.mf
Diffstat (limited to 'org.eclipse.ui.editors/plugin.xml')
| -rw-r--r-- | org.eclipse.ui.editors/plugin.xml | 23 |
1 files changed, 1 insertions, 22 deletions
diff --git a/org.eclipse.ui.editors/plugin.xml b/org.eclipse.ui.editors/plugin.xml index 26f7b451d6f..7b9f36dc347 100644 --- a/org.eclipse.ui.editors/plugin.xml +++ b/org.eclipse.ui.editors/plugin.xml @@ -1,27 +1,6 @@ <?xml version="1.0" encoding="UTF-8"?> <?eclipse version="3.0"?> -<plugin - id="org.eclipse.ui.editors" - name="%pluginName" - version="3.1.0" - provider-name="%providerName" - class="org.eclipse.ui.internal.editors.text.EditorsPlugin"> - - <runtime> - <library name="editors.jar"> - <export name="*"/> - </library> - </runtime> - <requires> - <import plugin="org.eclipse.core.runtime"/> - <import plugin="org.eclipse.ui.ide"/> - <import plugin="org.eclipse.ui.workbench.texteditor"/> - <import plugin="org.eclipse.ui"/> - <import plugin="org.eclipse.jface.text"/> - <import plugin="org.eclipse.core.filebuffers" export="true"/> - <import plugin="org.eclipse.core.resources"/> - </requires> - +<plugin> <extension-point id="documentProviders" name="%ExtPoint.documentProviders" schema="schema/documentProviders.exsd"/> <extension-point id="markerUpdaters" name="%ExtPoint.markerUpdaters" schema="schema/markerUpdaters.exsd"/> |