Remove redundant gitignore file
authorHarmon <Harmon758@gmail.com>
Mon, 6 Jan 2020 08:55:16 +0000 (02:55 -0600)
committerHarmon <Harmon758@gmail.com>
Mon, 6 Jan 2020 08:55:16 +0000 (02:55 -0600)
docs/.gitignore [deleted file]

diff --git a/docs/.gitignore b/docs/.gitignore
deleted file mode 100644 (file)
index e35d885..0000000
+++ /dev/null
@@ -1 +0,0 @@
-_build