Docs: revert back to 'sphinx' theme for Pygments

This commit is contained in:
Ivan Kravets committed 2018-05-25 15:31:31 +03:00
1 parent 8cda6db02d
commit 4a2594c12e
1 file changed
+1 -1
+1 -1
Submodule docs updated: 3f61814597...c81c85b861.