diff options
| author | david_williams | 2010-11-23 00:29:05 +0000 |
|---|---|---|
| committer | david_williams | 2010-11-23 00:29:05 +0000 |
| commit | 577ede75f71f6bc54109d47b616871ac0f63d979 (patch) | |
| tree | a49da7444d9b1008917ca0caac29e343a317505f | |
| parent | a0543ebd267ce85db8419ffb3b94e4716d5aca48 (diff) | |
| download | webtools.maps-577ede75f71f6bc54109d47b616871ac0f63d979.tar.gz webtools.maps-577ede75f71f6bc54109d47b616871ac0f63d979.tar.xz webtools.maps-577ede75f71f6bc54109d47b616871ac0f63d979.zip | |
use versioned builder
| -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 43fff9613..de823a31e 100644 --- a/releng/maps/build.cfg +++ b/releng/maps/build.cfg @@ -1,4 +1,4 @@ -builderVersion=v201011230010 +builderVersion=v201011230011 #builderVersion=v201009221607 eclipse.builder=org.eclipse.releng.basebuilder |