summaryrefslogtreecommitdiffstats
path: root/user_guide_src/README.rst
AgeCommit message (Expand)AuthorFilesLines
2017-07-21[ci skip] Merge pull request #5188 from ryanbriscall/update-sphinx-version-us...Andrey Andreev1-4/+6
2016-11-21[ci skip] Specify sphinxcontrib-phpdomain 0.1.3.post1 versionAndrey Andreev1-2/+2
2014-10-27Specify sphinx version (fixes #3275)James L Parry1-1/+1
2011-10-05replacing the old HTML user guide with a Sphinx-managed user guideDerek Jones1-0/+63