From 12538a179736a8ba434abf29403d9a2a26ad661c Mon Sep 17 00:00:00 2001 From: Franck Cuny Date: Sun, 29 May 2022 09:25:57 -0700 Subject: tools(govanity): remove unneeded files These files are not needed in the monorepo. Change-Id: I742316d7a6fae817bedbcd2e1f91963bc24c91b7 --- tools/govanity/.gitignore | 1 - 1 file changed, 1 deletion(-) delete mode 100644 tools/govanity/.gitignore (limited to 'tools/govanity/.gitignore') diff --git a/tools/govanity/.gitignore b/tools/govanity/.gitignore deleted file mode 100644 index c4a847d..0000000 --- a/tools/govanity/.gitignore +++ /dev/null @@ -1 +0,0 @@ -/result -- cgit v1.2.3