diff options
author | david_williams | 2010-07-29 16:10:25 +0000 |
---|---|---|
committer | david_williams | 2010-07-29 16:10:25 +0000 |
commit | 2ef9cb3ae005d236bdf92979c0c444ce8cf0f822 (patch) | |
tree | 616690fb599c90a6d0b8d46c357895d2db778b8c | |
parent | 6ab45e81583fb688958d8ad3c53b867b9c15a8a7 (diff) | |
download | webtools.maps-2ef9cb3ae005d236bdf92979c0c444ce8cf0f822.tar.gz webtools.maps-2ef9cb3ae005d236bdf92979c0c444ce8cf0f822.tar.xz webtools.maps-2ef9cb3ae005d236bdf92979c0c444ce8cf0f822.zip |
zipped repos are not displayed on download page
-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 6746937ae..61e1e01cb 100644 --- a/releng/maps/build.cfg +++ b/releng/maps/build.cfg @@ -1,4 +1,4 @@ -builderVersion=v201007051450 +builderVersion=v201007291610 eclipse.builder=org.eclipse.releng.basebuilder eclipse.builder.version=R36_RC1 |