diff options
author | david_williams | 2008-07-04 18:48:16 +0000 |
---|---|---|
committer | david_williams | 2008-07-04 18:48:16 +0000 |
commit | 104d67dcade522facbf31e23d7164ddf08a6825f (patch) | |
tree | f4d1f18e99d662f15804770e40817cdc7acc9ef1 | |
parent | c308a61894a96f5e34a0c8c497e0600c5297c806 (diff) | |
download | webtools.maps-104d67dcade522facbf31e23d7164ddf08a6825f.tar.gz webtools.maps-104d67dcade522facbf31e23d7164ddf08a6825f.tar.xz webtools.maps-104d67dcade522facbf31e23d7164ddf08a6825f.zip |
synch up and cleanup for map versions
-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 219735c87..e50761d4e 100644 --- a/releng/maps/build.cfg +++ b/releng/maps/build.cfg @@ -1,5 +1,5 @@ -builderVersion=v200807040838 +builderVersion=v200807041845 eclipse.builder=org.eclipse.releng.basebuilder eclipse.builder.version=RC4_33 |