diff options
Diffstat (limited to 'cje-production')
| -rw-r--r-- | cje-production/buildproperties.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cje-production/buildproperties.txt b/cje-production/buildproperties.txt index 3c002d399..da92e1259 100644 --- a/cje-production/buildproperties.txt +++ b/cje-production/buildproperties.txt @@ -40,7 +40,7 @@ LOCAL_REPO="localMavenRepo" # Base builder parameters BASEBUILDER_TAG="4.12" API_PREV_REF_LABEL="4.12" -PREVIOUS_RELEASE_VER="4.12" +PREVIOUS_RELEASE_VER="4.12RC2" PREVIOUS_RELEASE_ID="S-4.12RC2-201906051800" BUILDTOOLS_REPO="http://build.eclipse.org/eclipse/buildtools/" WEBTOOLS_REPO="https://download.eclipse.org/webtools/downloads/drops/R3.12.0/R-3.12.0-20181130055351/repositoryunittests/" |