diff options
Diffstat (limited to 'cje-production/buildproperties.txt')
-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 5fae0fe5e..0a33bf1bf 100644 --- a/cje-production/buildproperties.txt +++ b/cje-production/buildproperties.txt @@ -46,4 +46,4 @@ 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/" WEBTOOLS_VER="1.2.0.v201405010053" BASEBUILDER_DIR="tmp/org.eclipse.releng.basebuilder" -ECLIPSE_RUN_REPO="https://download.eclipse.org/eclipse/updates/4.12-I-builds/" +ECLIPSE_RUN_REPO="https://download.eclipse.org/eclipse/updates/4.12/" |