diff options
author | Darin Wright | 2007-05-31 13:56:51 +0000 |
---|---|---|
committer | Darin Wright | 2007-05-31 13:56:51 +0000 |
commit | 9a7107f7f86a80e801d6a7986cea909a8055752b (patch) | |
tree | 3e345e1873593ed90411db9ba9def87786fd83fb /org.eclipse.debug.core | |
parent | bb48db976286d86522bd6b7d26f7b7326245f752 (diff) | |
download | eclipse.platform.debug-9a7107f7f86a80e801d6a7986cea909a8055752b.tar.gz eclipse.platform.debug-9a7107f7f86a80e801d6a7986cea909a8055752b.tar.xz eclipse.platform.debug-9a7107f7f86a80e801d6a7986cea909a8055752b.zip |
Bug 190189 [doc] Ext Point Launcher (Obsolete) should be explicitly marked as deprecated
Diffstat (limited to 'org.eclipse.debug.core')
-rw-r--r-- | org.eclipse.debug.core/schema/launchers.exsd | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/org.eclipse.debug.core/schema/launchers.exsd b/org.eclipse.debug.core/schema/launchers.exsd index 3140bb7f5..2a90cdf03 100644 --- a/org.eclipse.debug.core/schema/launchers.exsd +++ b/org.eclipse.debug.core/schema/launchers.exsd @@ -14,6 +14,11 @@ launch manager. </annotation> <element name="extension"> + <annotation> + <appInfo> + <meta.element deprecated="true"/> + </appInfo> + </annotation> <complexType> <sequence> <element ref="launcher" minOccurs="0" maxOccurs="unbounded"/> |