remove dunedomain

ocaml · Mar 5, 2024 · d70c5f5 · d70c5f5
1 parent 7fa57cc
commit d70c5f5
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 125 deletions.
diff --git a/doc/conf.py b/doc/conf.py
@@ -41,7 +41,6 @@
 # ones.
 extensions = [
     'sphinx_copybutton',
-    'sphinx_dunedomain',
 ]
 
 # Add any paths that contain templates here, relative to this directory.

diff --git a/doc/exts/sphinx_dunedomain.py b/doc/exts/sphinx_dunedomain.py