diff --git a/WORKSPACE b/WORKSPACE deleted file mode 100644 index 8ea8a8b..0000000 --- a/WORKSPACE +++ /dev/null @@ -1,7 +0,0 @@ -# ===== googletest ===== - -git_repository( - name = "com_google_googletest", - remote = "https://github.com/google/googletest.git", - commit = "c3f65335b79f47b05629e79a54685d899bc53b93", -)