From ca2c74b319ce379a00b646750bbbcd6cb81a39ed Mon Sep 17 00:00:00 2001
From: albertodemichelis <alberto@demichelis.net>
Date: Tue, 12 Mar 2019 21:59:59 +0800
Subject: [PATCH] removed unused extension from sphinx config

---
 doc/source/conf.py | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/doc/source/conf.py b/doc/source/conf.py
index dc534ad..996eafe 100644
--- a/doc/source/conf.py
+++ b/doc/source/conf.py
@@ -29,8 +29,7 @@ import time
 # Add any Sphinx extension module names here, as strings. They can be
 # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom
 # ones.
-extensions = [
-    'sphinx.ext.pngmath',
+extensions = [    
 ]
 
 # Add any paths that contain templates here, relative to this directory.