| commit | 439d371594c49d35b66493c8d2c33f2d16144f6d | [log] [tgz] |
|---|---|---|
| author | Guillaume Chatelet <gchatelet@google.com> | Thu Feb 01 10:03:09 2018 +0100 |
| committer | Guillaume Chatelet <gchatelet@google.com> | Thu Feb 01 10:03:09 2018 +0100 |
| tree | 4d5c0ac7ab27b7730ea944822786de5850f29d89 | |
| parent | 44d56a0a28ea6fee0cdeedb6823cca50d39e5209 [diff] [blame] |
Adding code. Closes #0.
diff --git a/WORKSPACE b/WORKSPACE new file mode 100644 index 0000000..8ea8a8b --- /dev/null +++ b/WORKSPACE
@@ -0,0 +1,7 @@ +# ===== googletest ===== + +git_repository( + name = "com_google_googletest", + remote = "https://github.com/google/googletest.git", + commit = "c3f65335b79f47b05629e79a54685d899bc53b93", +)