diff options
author | Makarand Dharmapurikar <makarandd@google.com> | 2017-02-22 10:25:31 -0800 |
---|---|---|
committer | Makarand Dharmapurikar <makarandd@google.com> | 2017-02-22 10:25:31 -0800 |
commit | 7b9130a610e848f4b4ae2b34f078f5d792d3513a (patch) | |
tree | af74bf3cfd101e6d3bd7be07d8fc3df9beec6bd2 /WORKSPACE | |
parent | 003092a2020c927408fb173dfd9dcdf2dfc35775 (diff) | |
parent | 81f81c26f6c309eb6e8f7ce499f8ad9f9de40609 (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-- | WORKSPACE | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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", |