diff options
author | david_williams | 2010-08-23 00:19:46 +0000 |
---|---|---|
committer | david_williams | 2010-08-23 00:19:46 +0000 |
commit | 7f778ac4a3154587825d50dc31a30fb3508f7301 (patch) | |
tree | 203cf5045648a3a1d6556ff5462ef773dbae0aef | |
parent | 2464b94597f0e6ce904f2e5e9a320ebb953f561c (diff) | |
download | webtools.maps-7f778ac4a3154587825d50dc31a30fb3508f7301.tar.gz webtools.maps-7f778ac4a3154587825d50dc31a30fb3508f7301.tar.xz webtools.maps-7f778ac4a3154587825d50dc31a30fb3508f7301.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 c86daeb2b..5eb94181e 100644 --- a/releng/maps/build.cfg +++ b/releng/maps/build.cfg @@ -1,4 +1,4 @@ -builderVersion=HEAD +builderVersion=v201008230015 #builderVersion=v201008190140 eclipse.builder=org.eclipse.releng.basebuilder |