From 40ef93802f975483af8e07d892a1c1671f995ffd Mon Sep 17 00:00:00 2001
From: Guillaume Chatelet <gchatelet@google.com>
Date: Wed, 23 Jun 2021 14:09:25 +0000
Subject: [PATCH] Remove leftover WORKSPACE file

---
 WORKSPACE | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100644 WORKSPACE

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",
-)