diff options
author | david_williams | 2008-08-19 13:43:09 +0000 |
---|---|---|
committer | david_williams | 2008-08-19 13:43:09 +0000 |
commit | 80295304a08381fd4d35e1df6d4652ce3a2eb264 (patch) | |
tree | a46804a46d169cd568bff2cef5e68c0b48bf5a38 | |
parent | 4243aae1beb1e6992a2cec185289c9784335516b (diff) | |
download | webtools.maps-80295304a08381fd4d35e1df6d4652ce3a2eb264.tar.gz webtools.maps-80295304a08381fd4d35e1df6d4652ce3a2eb264.tar.xz webtools.maps-80295304a08381fd4d35e1df6d4652ce3a2eb264.zip |
prep for 3.0.1 patches
-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 d5ad77f86..cc07cc238 100644 --- a/releng/maps/build.cfg +++ b/releng/maps/build.cfg @@ -1,4 +1,4 @@ -builderVersion=v200808152040 +builderVersion=v200808191341 eclipse.builder=org.eclipse.releng.basebuilder eclipse.builder.version=RC2_34 |