Looks like the CircleCI configuration for this repository has been broken for a long time now. But this change shouldn't break anything since it doesn't touch anything related to code at all.
This removes the Sphinx documentation completely, it seems like it was introduced in 2012 and was never used at all. It had no contents.
This also removes a submodule that used the unauthenticated git protocol, which is now banned from GitHub.
Looks like the CircleCI configuration for this repository has been broken for a long time now. But this change shouldn't break anything since it doesn't touch anything related to code at all.
This removes the Sphinx documentation completely, it seems like it was introduced in 2012 and was never used at all. It had no contents.
This also removes a submodule that used the unauthenticated git protocol, which is now banned from GitHub.