diff options
author | david_williams | 2011-03-01 04:35:55 +0000 |
---|---|---|
committer | david_williams | 2011-03-01 04:35:55 +0000 |
commit | 9d01912f3af40b3d603eb8f2af7728d787b7f069 (patch) | |
tree | 24e57b42e609a4de468a12cc4317ccf1ac3e41cb | |
parent | 489de1a72d3d564e40015a88cb7d4794827b5543 (diff) | |
download | webtools.maps-9d01912f3af40b3d603eb8f2af7728d787b7f069.tar.gz webtools.maps-9d01912f3af40b3d603eb8f2af7728d787b7f069.tar.xz webtools.maps-9d01912f3af40b3d603eb8f2af7728d787b7f069.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 91b4dc634..1fb63878f 100644 --- a/releng/maps/build.cfg +++ b/releng/maps/build.cfg @@ -1,4 +1,4 @@ -builderVersion=v201103010410 +builderVersion=v201103010430 eclipse.builder=org.eclipse.releng.basebuilder |