diff options
| author | Jared Burns | 2004-05-14 23:38:02 +0000 |
|---|---|---|
| committer | Jared Burns | 2004-05-14 23:38:02 +0000 |
| commit | f7c18d81318bff9418397dcd526f21b5f6412805 (patch) | |
| tree | 28bb82719abeeccba01f02cf0eb5a00b7f41776b /org.eclipse.ui.externaltools/plugin.xml | |
| parent | 975c2db9bf18c03378ef1cd6e74ea1be2985ea2e (diff) | |
| download | eclipse.platform.debug-f7c18d81318bff9418397dcd526f21b5f6412805.tar.gz eclipse.platform.debug-f7c18d81318bff9418397dcd526f21b5f6412805.tar.xz eclipse.platform.debug-f7c18d81318bff9418397dcd526f21b5f6412805.zip | |
Bug 61630 - schema for external tools configurationDuplicationMaps ext point
Diffstat (limited to 'org.eclipse.ui.externaltools/plugin.xml')
| -rw-r--r-- | org.eclipse.ui.externaltools/plugin.xml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/org.eclipse.ui.externaltools/plugin.xml b/org.eclipse.ui.externaltools/plugin.xml index b57b5d79f..a992d0249 100644 --- a/org.eclipse.ui.externaltools/plugin.xml +++ b/org.eclipse.ui.externaltools/plugin.xml @@ -28,8 +28,8 @@ </requires> -<!-- extension point definitions --> - <extension-point id="configurationDuplicationMaps" name="%ExtPoint.configurationDuplicationMaps"/> +<!-- For internal use only. Not to be extended. --> + <extension-point id="configurationDuplicationMaps" name="%ExtPoint.configurationDuplicationMaps" schema="schema/configurationDuplicationMaps.exsd"/> <!-- UI extensions --> <!-- Extensions --> @@ -136,8 +136,8 @@ <extension point="org.eclipse.ui.externaltools.configurationDuplicationMaps"> <configurationMap - builderType="org.eclipse.ui.externaltools.ProgramBuilderLaunchConfigurationType" - sourceType="org.eclipse.ui.externaltools.ProgramLaunchConfigurationType"> + sourceType="org.eclipse.ui.externaltools.ProgramLaunchConfigurationType" + builderType="org.eclipse.ui.externaltools.ProgramBuilderLaunchConfigurationType"> </configurationMap> </extension> <extension |