diff options
| author | Brian May <brian@linuxpenguins.xyz> | 2016-01-17 17:24:13 +1100 |
|---|---|---|
| committer | Brian May <brian@linuxpenguins.xyz> | 2016-01-17 17:24:13 +1100 |
| commit | 7408ab3c535b01cb82fc1905858fd53e7abe028b (patch) | |
| tree | ca594d89cb7b1c79479bc9c34e7ca33739c8b387 | |
| parent | ea10ff1305d64c26a1474f71bcbce107f1d7f2df (diff) | |
Remove coverage
Not required as we are not documenting the source code.
| -rw-r--r-- | docs/conf.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/conf.py b/docs/conf.py index 851b6d2..9fc0be6 100644 --- 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. |