diff options
| author | Darin Wright | 2004-07-21 19:07:11 +0000 |
|---|---|---|
| committer | Darin Wright | 2004-07-21 19:07:11 +0000 |
| commit | 27f89ff618422f79ef706b9df3c9dcee927965ce (patch) | |
| tree | 8c62ba88fb2994842b3cb9afd788e55802a374ce /org.eclipse.ui.externaltools/schema | |
| parent | 750bf2557362b5f5e429f1361307ae73dd7dd54f (diff) | |
| download | eclipse.platform.debug-27f89ff618422f79ef706b9df3c9dcee927965ce.tar.gz eclipse.platform.debug-27f89ff618422f79ef706b9df3c9dcee927965ce.tar.xz eclipse.platform.debug-27f89ff618422f79ef706b9df3c9dcee927965ce.zip | |
Bug 70429 - missing <pre> and </pre> tags in Examples section of configurationDuplicationMaps.exsd
Diffstat (limited to 'org.eclipse.ui.externaltools/schema')
| -rw-r--r-- | org.eclipse.ui.externaltools/schema/configurationDuplicationMaps.exsd | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/org.eclipse.ui.externaltools/schema/configurationDuplicationMaps.exsd b/org.eclipse.ui.externaltools/schema/configurationDuplicationMaps.exsd index eb915ef45..ca36e05e9 100644 --- a/org.eclipse.ui.externaltools/schema/configurationDuplicationMaps.exsd +++ b/org.eclipse.ui.externaltools/schema/configurationDuplicationMaps.exsd @@ -80,6 +80,7 @@ of the type "org.eclipse.ui.externaltools.ProgramLaunchConfigurationType&qu configuration of the type"org.eclipse.ui.externaltools.ProgramBuilderLaunchConfigurationType" should be created. +<pre> <extension point="org.eclipse.ui.externaltools.configurationDuplicationMaps"> <configurationMap @@ -87,6 +88,7 @@ should be created. builderType="org.eclipse.ui.externaltools.ProgramBuilderLaunchConfigurationType"> </configurationMap> </extension> +</pre> </documentation> </annotation> |