summaryrefslogtreecommitdiff
path: root/docs/users_guide/flags.rst
Commit message (Expand)AuthorAgeFilesLines
* docs: remove leftovers of static flagsKrzysztof Gogolewski2018-07-121-2/+2
* Make language extensions their own category in the documentationJoachim Breitner2017-10-251-11/+0
* User's guide: Fix the category of some flagsJoachim Breitner2017-10-191-2/+4
* users_guide: Convert mkUserGuidePart generation to a Sphinx extensionPatrick Dougherty2017-08-181-36/+233
* Move user's guide to ReStructuredTextBen Gamari2015-10-031-0/+212