Remove _ext/sphinx_ext_substitution submodule (now a pip dependency)

coderefinery · Mar 10, 2020 · 0b6d98b · 0b6d98b
1 parent ac1b627
commit 0b6d98b
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 4 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +0,0 @@
-[submodule "_ext/sphinx_ext_substitution"]
-	path = _ext/sphinx_ext_substitution
-	url = https://github.com/NordicHPC/sphinx_ext_substitution

diff --git a/_ext/sphinx_ext_substitution b/_ext/sphinx_ext_substitution