Merge "Update to JGit 3.4.0.201406110918-r"

2014-07-02 08:26:35 +00:00
parent 6852b25458 f7e16aa422
commit 885f4987bf
3 changed files with 6 additions and 13 deletions
--- a/tools/util.py
+++ b/tools/util.py
@@ -17,7 +17,6 @@ from os import path
 REPO_ROOTS = {
  'GERRIT': 'http://gerrit-maven.storage.googleapis.com',
  'GERRIT_API': 'https://gerrit-api.commondatastorage.googleapis.com/release',
-  'ECLIPSE': 'https://repo.eclipse.org/content/groups/releases',
  'MAVEN_CENTRAL': 'http://repo1.maven.org/maven2',
  'MAVEN_LOCAL': 'file://' + path.expanduser('~/.m2/repository'),
 }