aboutsummaryrefslogtreecommitdiffhomepage
path: root/WORKSPACE
diff options
context:
space:
mode:
Diffstat (limited to 'WORKSPACE')
-rw-r--r--WORKSPACE1
1 files changed, 1 insertions, 0 deletions
diff --git a/WORKSPACE b/WORKSPACE
index 5d163f78e8..13786ce468 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -66,6 +66,7 @@ local_repository(
name = "com_github_gflags_gflags",
path = "third_party/gflags",
)
+
# used for tools/grpcz/grpcz_client
git_repository(
name = "mongoose_repo",