commit 40c7ffd761374f07b718354601ee33638e6a7d87
author rodrigo <rodrigo> Tue Jan 29 16:42:27 2002 +0000
committer rodrigo <rodrigo> Tue Jan 29 16:42:27 2002 +0000
tree 832d08d5cbc67fb7975bef4882630ea89ccfdfeb
parent d63443862eb0dd5eb3f83d77bbe2f09a8e7f0807

updated plugin version id

ant/org.eclipse.ant.ui/plugin.xml

diff --git a/ant/org.eclipse.ant.ui/plugin.xml b/ant/org.eclipse.ant.ui/plugin.xml
index afa8d55..ceb49e4 100644
--- a/ant/org.eclipse.ant.ui/plugin.xml
+++ b/ant/org.eclipse.ant.ui/plugin.xml
@@ -3,7 +3,7 @@
 <plugin

   name = "%pluginName"

   id="org.eclipse.ant.ui"

-  version = "2.0.1"

+  version = "2.0.2"

   provider-name = "Object Technology International, Inc."

   class="org.eclipse.ant.internal.ui.AntUIPlugin">