diff options
author | Michael Case <mikecase@google.com> | 2018-05-25 09:54:36 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-25 09:54:36 -0700 |
commit | 3313b9f2db5c161d0f1ebec6612204ffecde6b42 (patch) | |
tree | 363102fdf190b29c4cadf1dffb9999b1d8dab1b7 /third_party | |
parent | 92f8cb2e214ebd58f434ef2c55cba9a407a8b17a (diff) | |
parent | 7b65ed4bd80c12361706f4735462af4c0f8f5738 (diff) |
Merge pull request #19532 from yongtang/05242018-gemmlowp
Enable mirror.bazel.build link for gemmlowp
Diffstat (limited to 'third_party')
-rw-r--r-- | third_party/repo.bzl | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/third_party/repo.bzl b/third_party/repo.bzl index c719f745ac..cb67d3e961 100644 --- a/third_party/repo.bzl +++ b/third_party/repo.bzl @@ -17,7 +17,6 @@ _SINGLE_URL_WHITELIST = depset([ "arm_compiler", "ortools_archive", - "gemmlowp", ]) def _is_windows(ctx): |