Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2017-07-21 | [ci skip] Merge pull request #5188 from ryanbriscall/update-sphinx-version-us... | Andrey Andreev | 1 | -4/+6 |
2016-11-21 | [ci skip] Specify sphinxcontrib-phpdomain 0.1.3.post1 version | Andrey Andreev | 1 | -2/+2 |
2014-10-27 | Specify sphinx version (fixes #3275) | James L Parry | 1 | -1/+1 |
2011-10-05 | replacing the old HTML user guide with a Sphinx-managed user guide | Derek Jones | 1 | -0/+63 |