diff options
author | 2018-06-12 10:17:06 -0700 | |
---|---|---|
committer | 2018-06-12 10:17:06 -0700 | |
commit | beb2d8dd408c62e7dce3668c4d2db2ba5721bfd2 (patch) | |
tree | 7137cee67f27d93379407f08adf4953c8dae761f /java/core | |
parent | 4fda0f783bb60f7c3249d937cc0256e1aee9aad8 (diff) | |
parent | e62c1bd034cbe0f274857b3f116a12a7dd9d441f (diff) |
Merge pull request #4758 from dslomov/patch-1
Migrate to supported version of http_archive
Diffstat (limited to 'java/core')
0 files changed, 0 insertions, 0 deletions