diff options
| author | david_williams | 2010-05-22 15:25:48 +0000 |
|---|---|---|
| committer | david_williams | 2010-05-22 15:25:48 +0000 |
| commit | 40629000ba2076d10cc748762ca6c5f7fa100b00 (patch) | |
| tree | ec00dddd80dd77a3e51c6e9274a6648c5584bb4d | |
| parent | 2531faa85c2faf0042e24c90407f06053321ef08 (diff) | |
| download | webtools.maps-40629000ba2076d10cc748762ca6c5f7fa100b00.tar.gz webtools.maps-40629000ba2076d10cc748762ca6c5f7fa100b00.tar.xz webtools.maps-40629000ba2076d10cc748762ca6c5f7fa100b00.zip | |
improve script
| -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 05ec94d89..6e9209861 100644 --- a/releng/maps/build.cfg +++ b/releng/maps/build.cfg @@ -1,4 +1,4 @@ -builderVersion=v201005220530 +builderVersion=v201005221525 eclipse.builder=org.eclipse.releng.basebuilder eclipse.builder.version=R36_RC1 |