diff options
| author |  Dmitry Lomov <dslomov@google.com> | 2018-06-12 14:03:16 +0200 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2018-06-12 14:03:16 +0200 |
| commit | 31232c9b1e27f3c683dfdec25de6c6f18e66c0a2 (patch) | |
| tree | 03f8a48a3234dca9e7a7e414c443ba0e07e7f256 /editors | |
| parent | 4fda0f783bb60f7c3249d937cc0256e1aee9aad8 (diff) | |
Migrate to supported version of http_archive
Fixes #4727.
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions