From 7860b6eda7b28528dddde12ed5c18fb5b21b6c32 Mon Sep 17 00:00:00 2001
From: Richard Bowman <r.w.bowman@bath.ac.uk>
Date: Tue, 17 Aug 2021 12:18:10 +0100
Subject: [PATCH] deleted some commented-out extensions

---
 docs/source/conf.py | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/docs/source/conf.py b/docs/source/conf.py
index 23203631..e3550325 100644
--- a/docs/source/conf.py
+++ b/docs/source/conf.py
@@ -68,9 +68,6 @@ extensions = [
     "sphinx.ext.viewcode",
     "sphinx.ext.githubpages",
     "sphinx.ext.ifconfig",
-    # "sphinxcontrib.httpdomain",
-    # "sphinxcontrib.autohttp.flask",
-    # "sphinxcontrib.autohttp.flaskqref",
     "sphinxcontrib.openapi",
     "sphinxcontrib.redoc",
 ]