diff options
author | david_williams | 2010-05-22 19:16:48 +0000 |
---|---|---|
committer | david_williams | 2010-05-22 19:16:48 +0000 |
commit | e97d5791a1275e7f020685ea71bf87a99928a307 (patch) | |
tree | d736a19e96e9a7eb89a0e7ccd61f6ed565588742 | |
parent | 40629000ba2076d10cc748762ca6c5f7fa100b00 (diff) | |
download | webtools.maps-e97d5791a1275e7f020685ea71bf87a99928a307.tar.gz webtools.maps-e97d5791a1275e7f020685ea71bf87a99928a307.tar.xz webtools.maps-e97d5791a1275e7f020685ea71bf87a99928a307.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 6e9209861..130c83452 100644 --- a/releng/maps/build.cfg +++ b/releng/maps/build.cfg @@ -1,4 +1,4 @@ -builderVersion=v201005221525 +builderVersion=v201005221913 eclipse.builder=org.eclipse.releng.basebuilder eclipse.builder.version=R36_RC1 |