docs: Adding third_party/sphinx-contrib-mithro repo.

mithro · Jul 4, 2018 · b4f969d · b4f969d
1 parent 76105f6
commit b4f969d
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -7,3 +7,6 @@
 [submodule "third_party/icestorm"]
 	path = third_party/icestorm
 	url = https://github.com/cliffordwolf/icestorm.git
+[submodule "third_party/sphinx-contrib-mithro"]
+	path = third_party/sphinx-contrib-mithro
+	url = https://github.com/mithro/sphinx-contrib-mithro
diff --git a/third_party/sphinx-contrib-mithro b/third_party/sphinx-contrib-mithro