Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDarin Wright2006-09-14 17:37:41 +0000
committerDarin Wright2006-09-14 17:37:41 +0000
commitdb37fae692d7acabcf84866335d65bb4cd6fff45 (patch)
tree7d418eaf92587860e9af92f4604c77d2d597019f
parentcb58d87712559cf2335251ba81b8d36732c9f79d (diff)
downloadeclipse.platform.debug-db37fae692d7acabcf84866335d65bb4cd6fff45.tar.gz
eclipse.platform.debug-db37fae692d7acabcf84866335d65bb4cd6fff45.tar.xz
eclipse.platform.debug-db37fae692d7acabcf84866335d65bb4cd6fff45.zip
chkpii error
-rw-r--r--org.eclipse.debug.core/schema/launchOptions.exsd19
1 files changed, 11 insertions, 8 deletions
diff --git a/org.eclipse.debug.core/schema/launchOptions.exsd b/org.eclipse.debug.core/schema/launchOptions.exsd
index f3527f010..f9029829a 100644
--- a/org.eclipse.debug.core/schema/launchOptions.exsd
+++ b/org.eclipse.debug.core/schema/launchOptions.exsd
@@ -91,14 +91,17 @@ Launch options are used as modifiers when executing a launch configuration.
<meta.section type="examples"/>
</appInfo>
<documentation>
- &lt;extension
- point=&quot;org.eclipse.debug.core.launchOptions&quot;&gt;
- &lt;launchOption
- id=&quot;org.eclipse.debug.core.debug&quot;
- label=&quot;Debug&quot;
- option=&quot;debug&quot;&gt;
- &lt;/launchOption&gt;
- &lt;/extension&gt;
+ &lt;p&gt;
+&lt;pre&gt;
+ &lt;extension point=&quot;org.eclipse.debug.core.launchOptions&quot;&gt;
+ &lt;launchOption
+ id=&quot;org.eclipse.debug.core.debug&quot;
+ label=&quot;Debug&quot;
+ option=&quot;debug&quot;&gt;
+ &lt;/launchOption&gt;
+ &lt;/extension&gt;
+&lt;/pre&gt;
+&lt;/p&gt;
</documentation>
</annotation>

Back to the top