Remove coverage

Not required as we are not documenting the source code.
2025-06-30 23:01:21 +02:00 · 2016-01-17 17:24:13 +11:00
parent ea10ff1305
commit 7408ab3c53
1 changed files with 0 additions and 1 deletions
--- a/docs/conf.py
+++ b/docs/conf.py
@ -31,7 +31,6 @@
 # ones.
 extensions = [
    'sphinx.ext.todo',
-    'sphinx.ext.coverage',
 ]

 # Add any paths that contain templates here, relative to this directory.