From 8f37606f607df0bed1fa9058491e4d658ebd4e1b Mon Sep 17 00:00:00 2001
From: Makarand Dharmapurikar <makarandd@google.com>
Date: Wed, 19 Apr 2017 10:30:07 -0700
Subject: disable mongoose

---
 WORKSPACE | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'WORKSPACE')

diff --git a/WORKSPACE b/WORKSPACE
index 5a3c4de0af..5ba82f3127 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -77,12 +77,6 @@ local_repository(
     path = "third_party/gflags",
 )
 
-git_repository(
-    name   = "mongoose_repo",
-    commit = "4120a97945b41195a6223a600dae8e3b19bed19e",
-    remote = "https://github.com/makdharma/mongoose.git"
-)
-
 new_local_repository(
     name = "submodule_benchmark",
     path = "third_party/benchmark",
-- 
cgit v1.2.3