Remove sphinx-extensions submodules

dylan-lang · Jan 17, 2024 · 74f3576 · 74f3576
1 parent 1317559
commit 74f3576
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 4 deletions.
diff --git a/.gitmodules b/.gitmodules
diff --git a/documentation/sphinx-extensions b/documentation/sphinx-extensions