diff options
author | david_williams | 2010-09-17 06:12:56 +0000 |
---|---|---|
committer | david_williams | 2010-09-17 06:12:56 +0000 |
commit | ce7df38344f71e95715ab642b14c2050d30cf198 (patch) | |
tree | 4d39dbf736b26a3a68d8cedf3f73b364eace7d0a /releng/maps/build.cfg | |
parent | 7dc0b0b3c6731f6242c88fc3788bf3e3052e10ca (diff) | |
download | webtools.maps-ce7df38344f71e95715ab642b14c2050d30cf198.tar.gz webtools.maps-ce7df38344f71e95715ab642b14c2050d30cf198.tar.xz webtools.maps-ce7df38344f71e95715ab642b14c2050d30cf198.zip |
use comparator to fine tune delivered bundles
Diffstat (limited to 'releng/maps/build.cfg')
-rw-r--r-- | releng/maps/build.cfg | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/releng/maps/build.cfg b/releng/maps/build.cfg index 5562f431d..52753f90a 100644 --- a/releng/maps/build.cfg +++ b/releng/maps/build.cfg @@ -1,5 +1,5 @@ -builderVersion=v201009151551 -#builderVersion=HEAD +#builderVersion=v201009151551 +builderVersion=HEAD # builderVersion=v201009120908 eclipse.builder=org.eclipse.releng.basebuilder |