commit da6674c79228baca543b0d254311f90303eb2f40
author Philipe Mulet <pmulet> Tue Nov 27 15:04:33 2001 +0000
committer Philipe Mulet <pmulet> Tue Nov 27 15:04:33 2001 +0000
tree 57657e11c7943f7f25fd0a1afc5432b87c7aedff
parent b873682968628df6fa7011db57cd38e6e58dbbf0

*** empty log message ***

org.eclipse.jdt.core/buildnotes_jdt-core.html

diff --git a/org.eclipse.jdt.core/buildnotes_jdt-core.html b/org.eclipse.jdt.core/buildnotes_jdt-core.html
index 09da8b1..9e02010 100644
--- a/org.eclipse.jdt.core/buildnotes_jdt-core.html
+++ b/org.eclipse.jdt.core/buildnotes_jdt-core.html
@@ -12,7 +12,7 @@
 Eclipse Platform Build Notes&nbsp;<br>

 Java Development Tooling/Core</h1>

 Eclipse SDK Build R1.0 Rollup

-<br>Project org.eclipse.jdt.core v_139

+<br>Project org.eclipse.jdt.core v_139a

 <h2>

 What's new in this drop</h2>

 

org.eclipse.jdt.core/plugin.xml

diff --git a/org.eclipse.jdt.core/plugin.xml b/org.eclipse.jdt.core/plugin.xml
index cc3c4b8..abda29b 100644
--- a/org.eclipse.jdt.core/plugin.xml
+++ b/org.eclipse.jdt.core/plugin.xml
@@ -3,7 +3,7 @@
 <plugin

     name = "%pluginName"

     id = "org.eclipse.jdt.core"

-    version = "1.0"

+    version = "1.0.1"

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

     class="org.eclipse.jdt.core.JavaCore">