diff options
author | david_williams | 2011-03-01 06:26:02 +0000 |
---|---|---|
committer | david_williams | 2011-03-01 06:26:02 +0000 |
commit | 28391193d3724f60db5c3861106b45298d921df3 (patch) | |
tree | 1a186fb7752b0d9459b75a12faa4b1ddca2a73f9 | |
parent | 9469caeef4511cbe04b4bc22ec98991f6ff6b6a2 (diff) | |
download | webtools.maps-28391193d3724f60db5c3861106b45298d921df3.tar.gz webtools.maps-28391193d3724f60db5c3861106b45298d921df3.tar.xz webtools.maps-28391193d3724f60db5c3861106b45298d921df3.zip |
338481 - use :local: to rewrite maps during production build
-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 1ff0e0272..45d23834b 100644 --- a/releng/maps/build.cfg +++ b/releng/maps/build.cfg @@ -1,4 +1,4 @@ -builderVersion=v201103010500 +builderVersion=v201103010624 eclipse.builder=org.eclipse.releng.basebuilder |