Delete files no longer used (#8478)

* Delete WORKSPACE Delete WORKSPACE because it is no longer used * Delete .gitmodules Delete .gitmodules because it is no longer used

Delete files no longer used (#8478)
* Delete WORKSPACE Delete WORKSPACE because it is no longer used * Delete .gitmodules Delete .gitmodules because it is no longer used
0b49f4fa · Jaeyoun Kim · GitHub · 56a2f704 · 56a2f704 · 56a2f704
Unverified Commit 0b49f4fa authored May 07, 2020 by Jaeyoun Kim Committed by GitHub May 07, 2020
Show whitespace changes
Inline Side-by-side

Showing with 0 additions and 0 deletions

.gitmodules .gitmodules +0 -0

WORKSPACE WORKSPACE +0 -0

No files found.
--- a/.gitmodules
+++ b/.gitmodules
--- a/WORKSPACE
+++ b/WORKSPACE