aboutsummaryrefslogtreecommitdiffhomepage
path: root/third_party/repo.bzl
diff options
context:
space:
mode:
authorGravatar Michael Case <mikecase@google.com>2018-05-25 09:54:36 -0700
committerGravatar GitHub <noreply@github.com>2018-05-25 09:54:36 -0700
commit3313b9f2db5c161d0f1ebec6612204ffecde6b42 (patch)
tree363102fdf190b29c4cadf1dffb9999b1d8dab1b7 /third_party/repo.bzl
parent92f8cb2e214ebd58f434ef2c55cba9a407a8b17a (diff)
parent7b65ed4bd80c12361706f4735462af4c0f8f5738 (diff)
Merge pull request #19532 from yongtang/05242018-gemmlowp
Enable mirror.bazel.build link for gemmlowp
Diffstat (limited to 'third_party/repo.bzl')
-rw-r--r--third_party/repo.bzl1
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):