diff options
author | david_williams | 2008-08-11 02:16:46 -0400 |
---|---|---|
committer | david_williams | 2008-08-11 02:16:46 -0400 |
commit | 1fe2216d11534a7b385b7134d52af6b17dbcdf64 (patch) | |
tree | c49b8b933be926042266b73e47e4e4a6951b8f66 | |
parent | a51a7d37a8884883fb89088a77eaa397d81bcba2 (diff) | |
download | webtools.maps-1fe2216d11534a7b385b7134d52af6b17dbcdf64.tar.gz webtools.maps-1fe2216d11534a7b385b7134d52af6b17dbcdf64.tar.xz webtools.maps-1fe2216d11534a7b385b7134d52af6b17dbcdf64.zip |
summarize times
-rw-r--r-- | releng/maps/build.cfg | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/releng/maps/build.cfg b/releng/maps/build.cfg index 49132f2c1..63c8ce7db 100644 --- a/releng/maps/build.cfg +++ b/releng/maps/build.cfg @@ -7,8 +7,8 @@ eclipse.builder.version=RC2_34 eclipse.builder.fetch=true # WTP specific builder -wtpBuildTools.url=http://download.eclipse.org/webtools/wtpBuildTools/drops/R3.0/T-T20080811045341-20080811045341/updateSite/plugins/ -wtpBuildTools.file=org.eclipse.wtp.releng.tools_1.0.0.v200808110452.jar +wtpBuildTools.url=http://download.eclipse.org/webtools/wtpBuildTools/drops/R3.0/T-T20080811060227-20080811060227/updateSite/plugins/ +wtpBuildTools.file=org.eclipse.wtp.releng.tools_1.0.0.v200808110558.jar # This parameter is specific to the compiler # being used (JDT Compiler, in our case). |