aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--WORKSPACE9
1 files changed, 0 insertions, 9 deletions
diff --git a/WORKSPACE b/WORKSPACE
index 00b82dbce6..49dc92b5e9 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -140,15 +140,6 @@ http_archive(
sha256 = "699b55a6916c687f4b7dc092dbbf5f64672cde0dc965f79717735ec4e5416556",
)
-http_archive(
- name = "com_googlesource_code_re2",
- urls = [
- "https://github.com/google/re2/archive/2017-12-01.tar.gz",
- ],
- strip_prefix = "re2-2017-12-01",
- sha256 = "62797e7cd7cc959419710cd25b075b5f5b247da0e8214d47bf5af9b32128fb0d",
-)
-
# We're pinning to a commit because this project does not have a recent release.
# Nothing special about this commit, though.
http_archive(