jdt-core-home/r1.0/main.html

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.15, Thu Apr 10 16:46:26 2003 UTC revision 1.16, Wed Sep 10 15:06:04 2003 UTC
# Line 202  Line 202 
202      <br>This patch can be applied by expanding the zip archive into the <code><install>/eclipse/plugins/</code> directory      <br>This patch can be applied by expanding the zip archive into the <code><install>/eclipse/plugins/</code> directory
203      <br> NOTE: Plug-in revision ID is now "1.0.3".      <br> NOTE: Plug-in revision ID is now "1.0.3".
204           In case this plug-in revision does not match the one currently installed,           In case this plug-in revision does not match the one currently installed,
205           the JDT feature may require to be edited accordingly (in <code><install>/eclipse/features/org.eclipse.jdt_x.y.z/feature.xml</code>,           the JDT feature may require to be edited accordingly (in <code><install>/eclipse/features/org.eclipse.jdt_1.0.x/feature.xml</code>,
206           change the version to <code>"1.0.3"</code> for plugin which id is <code>"org.eclipse.jdt.core"</code>).           change the version to <code>"1.0.3"</code> for plugin which id is <code>"org.eclipse.jdt.core"</code>).
207          </td>          </td>
208  </tr>  </tr>

Legend:
Removed from v.1.15  
changed lines
  Added in v.1.16