diff options
author | david_williams | 2008-06-23 13:17:47 +0000 |
---|---|---|
committer | david_williams | 2008-06-23 13:17:47 +0000 |
commit | d7018fafa53cb0fc00121e692fc71c97c4e55b34 (patch) | |
tree | 7af62f043f328fdc2712c5ed32aa1cbc7730337d | |
parent | 6abf182804cba24f258d91c41fb9a7a2badd11ad (diff) | |
download | webtools.maps-d7018fafa53cb0fc00121e692fc71c97c4e55b34.tar.gz webtools.maps-d7018fafa53cb0fc00121e692fc71c97c4e55b34.tar.xz webtools.maps-d7018fafa53cb0fc00121e692fc71c97c4e55b34.zip |
sync up main and head branch, except for exact components built
-rw-r--r-- | releng/maps/build.cfg | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/releng/maps/build.cfg b/releng/maps/build.cfg index 01f7d13b6..a61142e6a 100644 --- a/releng/maps/build.cfg +++ b/releng/maps/build.cfg @@ -1,4 +1,4 @@ -builderVersion=v200806230625 +builderVersion=v200806231315 eclipse.builder=org.eclipse.releng.basebuilder eclipse.builder.version=RC4_33 |