From 0399bd48981d5c02ed4272707266647c89854d9b Mon Sep 17 00:00:00 2001 From: Harmon Date: Mon, 6 Jan 2020 02:55:16 -0600 Subject: [PATCH] Remove redundant gitignore file --- docs/.gitignore | 1 - 1 file changed, 1 deletion(-) delete mode 100644 docs/.gitignore diff --git a/docs/.gitignore b/docs/.gitignore deleted file mode 100644 index e35d885..0000000 --- a/docs/.gitignore +++ /dev/null @@ -1 +0,0 @@ -_build -- 2.25.1