diff options
author | david_williams | 2010-10-04 18:38:32 +0000 |
---|---|---|
committer | david_williams | 2010-10-04 18:38:32 +0000 |
commit | 22f4e9c4200e14a0035bf847923b28fdee03488d (patch) | |
tree | 50519e3b2d18154f14d64900b3e55d61df0e7b20 | |
parent | 2fd1aa3235f6ffdd1ed5b3ac7e0f56fce79c31bf (diff) | |
download | webtools.maps-22f4e9c4200e14a0035bf847923b28fdee03488d.tar.gz webtools.maps-22f4e9c4200e14a0035bf847923b28fdee03488d.tar.xz webtools.maps-22f4e9c4200e14a0035bf847923b28fdee03488d.zip |
publish site after package
-rw-r--r-- | releng/maps/build.cfg | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/releng/maps/build.cfg b/releng/maps/build.cfg index 5ed535f22..359c665ea 100644 --- a/releng/maps/build.cfg +++ b/releng/maps/build.cfg @@ -1,7 +1,4 @@ -builderVersion=HEAD - -# previous 321 patch builds -#builderVersion=v201009120908 +builderVersion=v201010041837 eclipse.builder=org.eclipse.releng.basebuilder eclipse.builder.version=R36_RC4 |