diff options
author | david_williams | 2010-08-23 05:51:40 +0000 |
---|---|---|
committer | david_williams | 2010-08-23 05:51:40 +0000 |
commit | 82801fc2d9953377199470bf1362ef22737c5743 (patch) | |
tree | 410163c6c8c1a3921837ea123f24423a7809b994 | |
parent | a67af81d512ff86b0525a7b111417debe4ac9cd3 (diff) | |
download | webtools.maps-82801fc2d9953377199470bf1362ef22737c5743.tar.gz webtools.maps-82801fc2d9953377199470bf1362ef22737c5743.tar.xz webtools.maps-82801fc2d9953377199470bf1362ef22737c5743.zip |
latest maintenance
-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 b91431060..0fd81728e 100644 --- a/releng/maps/build.cfg +++ b/releng/maps/build.cfg @@ -1,4 +1,4 @@ -builderVersion=v201008230115 +builderVersion=v201008230541 #builderVersion=v201008190140 eclipse.builder=org.eclipse.releng.basebuilder |