diff options
author | david_williams | 2010-05-23 02:32:29 +0000 |
---|---|---|
committer | david_williams | 2010-05-23 02:32:29 +0000 |
commit | 13ff86108a957f300b28a9993a2de4388bf5fd2f (patch) | |
tree | 94e16055066990d927769c4defbc9a9d4f832c6a | |
parent | da5b3718491034ee22634016ada9789de2484c29 (diff) | |
download | webtools.maps-13ff86108a957f300b28a9993a2de4388bf5fd2f.tar.gz webtools.maps-13ff86108a957f300b28a9993a2de4388bf5fd2f.tar.xz webtools.maps-13ff86108a957f300b28a9993a2de4388bf5fd2f.zip |
fix download pages
-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 7f75d0637..3c13f8a3e 100644 --- a/releng/maps/build.cfg +++ b/releng/maps/build.cfg @@ -1,4 +1,4 @@ -builderVersion=v201005230046 +builderVersion=HEAD eclipse.builder=org.eclipse.releng.basebuilder eclipse.builder.version=R36_RC1 |