Upgrade JGit to 5.1.1.201809181055-r

Bug: Issue 9667
Change-Id: I273470fcaf73cd5d0a3f117c1c6c3bdd08246928
1 file changed
tree: 8b5e78c0121005cb5b13c4ed539ea2711e54bc91
  1. src/
  2. tools/
  3. .gitignore
  4. bazlets.bzl
  5. BUILD
  6. external_plugin_deps.bzl
  7. WORKSPACE