diff options
author | david_williams | 2010-04-23 12:40:49 +0000 |
---|---|---|
committer | david_williams | 2010-04-23 12:40:49 +0000 |
commit | fad38c89d8f0a2d327ec99f2933e34141774b831 (patch) | |
tree | 7dc40ccb949884b606f569ce319eab2210fe1b21 | |
parent | 4fa7fa473e94097932a52c60ab324f9094cc73bc (diff) | |
download | webtools.maps-fad38c89d8f0a2d327ec99f2933e34141774b831.tar.gz webtools.maps-fad38c89d8f0a2d327ec99f2933e34141774b831.tar.xz webtools.maps-fad38c89d8f0a2d327ec99f2933e34141774b831.zip |
fix tools build
-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 d7d526524..ee69a0f34 100644 --- a/releng/maps/build.cfg +++ b/releng/maps/build.cfg @@ -1,4 +1,4 @@ -builderVersion=v201004220603 +builderVersion=v201004231240 eclipse.builder=org.eclipse.releng.basebuilder eclipse.builder.version=v20100416 |