diff options
| author | david_williams | 2010-08-23 01:17:27 +0000 |
|---|---|---|
| committer | david_williams | 2010-08-23 01:17:27 +0000 |
| commit | ac333ad2129efa93216bd83d0fe28cf231713c57 (patch) | |
| tree | 0f08f6bee30c69092b2264c6ada27aa74a06c4c8 | |
| parent | 7f778ac4a3154587825d50dc31a30fb3508f7301 (diff) | |
| download | webtools.maps-ac333ad2129efa93216bd83d0fe28cf231713c57.tar.gz webtools.maps-ac333ad2129efa93216bd83d0fe28cf231713c57.tar.xz webtools.maps-ac333ad2129efa93216bd83d0fe28cf231713c57.zip | |
improved error handling
| -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 5eb94181e..b91431060 100644 --- a/releng/maps/build.cfg +++ b/releng/maps/build.cfg @@ -1,4 +1,4 @@ -builderVersion=v201008230015 +builderVersion=v201008230115 #builderVersion=v201008190140 eclipse.builder=org.eclipse.releng.basebuilder |