commit 365c9628780afeb0cc1bc0deced3f5cc55e4f243
author Darin Wright <darin> Mon Jul 29 19:01:02 2002 +0000
committer Darin Wright <darin> Mon Jul 29 19:01:02 2002 +0000
tree 982f3a2941cc88960d6d252d949db1f936998298
parent 93661eaf404b5240d5d3f3008da2c71004065738

version numbers

org.eclipse.jdt.debug.ui/plugin.xml

diff --git a/org.eclipse.jdt.debug.ui/plugin.xml b/org.eclipse.jdt.debug.ui/plugin.xml
index ed7ed88..68f9dda 100644
--- a/org.eclipse.jdt.debug.ui/plugin.xml
+++ b/org.eclipse.jdt.debug.ui/plugin.xml
@@ -3,7 +3,7 @@
 <plugin

    id="org.eclipse.jdt.debug.ui"

    name="%pluginName"

-   version="2.0.0"

+   version="2.0.1"

    provider-name="%providerName"

    class="org.eclipse.jdt.internal.debug.ui.JDIDebugUIPlugin">

 <!-- Required plugins -->

org.eclipse.jdt.debug/plugin.xml

diff --git a/org.eclipse.jdt.debug/plugin.xml b/org.eclipse.jdt.debug/plugin.xml
index f9a52bc..a4d66e7 100644
--- a/org.eclipse.jdt.debug/plugin.xml
+++ b/org.eclipse.jdt.debug/plugin.xml
@@ -3,7 +3,7 @@
 <plugin

    id="org.eclipse.jdt.debug"

    name="%pluginName"

-   version="2.0.0"

+   version="2.0.1"

    provider-name="%providerName"

    class="org.eclipse.jdt.internal.debug.core.JDIDebugPlugin">

 <!-- Required plugins -->

org.eclipse.jdt.launching/plugin.xml

diff --git a/org.eclipse.jdt.launching/plugin.xml b/org.eclipse.jdt.launching/plugin.xml
index cd06f3b..62b9bfb 100644
--- a/org.eclipse.jdt.launching/plugin.xml
+++ b/org.eclipse.jdt.launching/plugin.xml
@@ -5,7 +5,7 @@
 <plugin

 	name= "%pluginName"

 	id= "org.eclipse.jdt.launching"

-	version= "2.0.0"

+	version= "2.0.1"

 	provider-name="%providerName"

 	class= "org.eclipse.jdt.internal.launching.LaunchingPlugin">