diff options
author | Nicolas "Pixel" Noble <pixel@nobis-crew.org> | 2017-03-28 00:27:34 +0200 |
---|---|---|
committer | Nicolas "Pixel" Noble <pixel@nobis-crew.org> | 2017-03-28 00:27:34 +0200 |
commit | f3ca374929ed510aed0563ba273d5804ab5bc752 (patch) | |
tree | 81b6cc6fcb98adf103dba24598b5e1e354f46e49 /WORKSPACE | |
parent | 6f7dcd0ade302ab348832bf3e765198be34278f9 (diff) | |
parent | 739cecb0bc1f1ba3b2e0b390795cbaf429ec81c2 (diff) |
Merge branch 'master' of https://github.com/grpc/grpc into cpp_bazelness
Diffstat (limited to 'WORKSPACE')
-rw-r--r-- | WORKSPACE | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -77,6 +77,12 @@ 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", |