You are viewing a plain text version of this content. The canonical link for it is here.
Posted to dev@tomcat.apache.org by re...@apache.org on 2005/05/15 11:45:35 UTC
cvs commit: jakarta-tomcat-5 build.properties.default
remm 2005/05/15 02:45:35
Modified: . build.properties.default
Log:
- Update to Eclpise 3.1M7.
Revision Changes Path
1.143 +4 -4 jakarta-tomcat-5/build.properties.default
Index: build.properties.default
===================================================================
RCS file: /home/cvs/jakarta-tomcat-5/build.properties.default,v
retrieving revision 1.142
retrieving revision 1.143
diff -u -r1.142 -r1.143
--- build.properties.default 4 Apr 2005 13:57:49 -0000 1.142
+++ build.properties.default 15 May 2005 09:45:35 -0000 1.143
@@ -138,10 +138,10 @@
# ----- Eclipse JDT, version 3.0 or later -----
-jdt.home=${base.path}/eclipse/plugins/org.eclipse.jdt.core_3.1.0
+jdt.home=${base.path}/eclipse/plugins
jdt.lib=${jdt.home}
-jdt.jar=${jdt.lib}/jdtcore.jar
-jdt.loc=http://sunsite.informatik.rwth-aachen.de/eclipse/downloads/drops/S-3.1M6-200504011645/eclipse-JDT-SDK-3.1M6.zip
+jdt.jar=${jdt.lib}/org.eclipse.jdt.core_3.1.0.jar
+jdt.loc=http://sunsite.informatik.rwth-aachen.de/eclipse/downloads/drops/S-3.1M7-200505131415/eclipse-JDT-3.1M7.zip
# --------------------------------------------------
# CORE OPTIONAL LIBRARIES
---------------------------------------------------------------------
To unsubscribe, e-mail: tomcat-dev-unsubscribe@jakarta.apache.org
For additional commands, e-mail: tomcat-dev-help@jakarta.apache.org