aboutsummaryrefslogtreecommitdiffhomepage
path: root/WORKSPACE
diff options
context:
space:
mode:
authorGravatar Makarand Dharmapurikar <makarandd@google.com>2017-02-22 10:25:31 -0800
committerGravatar Makarand Dharmapurikar <makarandd@google.com>2017-02-22 10:25:31 -0800
commit7b9130a610e848f4b4ae2b34f078f5d792d3513a (patch)
treeaf74bf3cfd101e6d3bd7be07d8fc3df9beec6bd2 /WORKSPACE
parent003092a2020c927408fb173dfd9dcdf2dfc35775 (diff)
parent81f81c26f6c309eb6e8f7ce499f8ad9f9de40609 (diff)
Merge branch 'master' of https://github.com/grpc/grpc into grpcz_client
Merging with latest changes to WORKSPACE on master
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",