diff options
Diffstat (limited to 'production')
-rw-r--r-- | production/miscToolsAndNotes/proxyRelated/getBaseBuilderAndTools.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/production/miscToolsAndNotes/proxyRelated/getBaseBuilderAndTools.xml b/production/miscToolsAndNotes/proxyRelated/getBaseBuilderAndTools.xml index 42a3824e8..c9c1d02fa 100644 --- a/production/miscToolsAndNotes/proxyRelated/getBaseBuilderAndTools.xml +++ b/production/miscToolsAndNotes/proxyRelated/getBaseBuilderAndTools.xml @@ -146,7 +146,7 @@ --> <property name="eclipserun-repo" - value="http://download.eclipse.org/eclipse/updates/4.12-I-builds/" /> + value="http://download.eclipse.org/eclipse/updates/4.13-I-builds/" /> <echo message="eclipserun-repo: ${eclipserun-repo}" /> <property |