no more docs/coverage

TheAngryByrd · TheAngryByrd · commit 090ded691e4f · 2022-09-17T20:26:53.000-04:00
diff --git a/.gitignore b/.gitignore
@@ -268,4 +268,6 @@ coverage.*.xml
 .paket/paket
 
 .fake
-.ionide
+.ionide
+
+docs/coverage
