# HG changeset patch
# User Damien Correia
# Date 1522931702 -7200
# Node ID e7207459c42970cca61d5991624a0b458487b984
# Parent  55a05201f18c586bf6c031204b8c60dbb1f9a87f
Added sphynx.ext

diff -r 55a05201f18c -r e7207459c429 src/source/conf.py
--- a/src/source/conf.py	Wed Apr 04 15:19:33 2018 +0200
+++ b/src/source/conf.py	Thu Apr 05 14:35:02 2018 +0200
@@ -68,6 +68,9 @@
 # ones.
 extensions = [
     'sphinx.ext.autodoc',
+    'sphinx.ext.todo',
+    'sphinx.ext.coverage',
+    'sphinx.ext.viewcode'
 ]
 
 # Add any paths that contain templates here, relative to this directory.