summaryrefslogtreecommitdiff
path: root/docs/users_guide/conf.py
Commit message (Expand)AuthorAgeFilesLines
* sphinx-build: fix python stack overflow (Trac #10950)Sergei Trofimovich2016-01-211-0/+10
* users_guide: Use semantic directive/role for command line optionsBen Gamari2016-01-091-1/+48
* users_guide: Add ghci-cmd directiveBen Gamari2016-01-041-0/+14
* users-guide: Fix typo in conf.pyBen Gamari2015-11-181-1/+1
* users-guide: Use tango pygments styleBen Gamari2015-11-181-1/+1
* Move user's guide to ReStructuredTextBen Gamari2015-10-031-0/+112