From b0728fed27936bbbc7f633069478f4028eb6825b Mon Sep 17 00:00:00 2001 From: Victor Zverovich Date: Tue, 13 May 2014 07:30:04 -0700 Subject: [PATCH] Remove sphinx submodule. --- .gitmodules | 3 --- doc/sphinx | 1 - 2 files changed, 4 deletions(-) delete mode 160000 doc/sphinx diff --git a/.gitmodules b/.gitmodules index 88fce49e..55a8a94f 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,6 +1,3 @@ [submodule "format-benchmark"] path = format-benchmark url = git://github.com/vitaut/format-benchmark.git -[submodule "doc/sphinx"] - path = doc/sphinx - url = git://github.com/cppformat/sphinx.git diff --git a/doc/sphinx b/doc/sphinx deleted file mode 160000 index aab44c9f..00000000 --- a/doc/sphinx +++ /dev/null @@ -1 +0,0 @@ -Subproject commit aab44c9f1f42d93ab7cb38e1a31b3ea5b42dd274