Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | docs: remove leftovers of static flags | Krzysztof Gogolewski | 2018-07-12 | 1 | -2/+2 |
* | Make language extensions their own category in the documentation | Joachim Breitner | 2017-10-25 | 1 | -11/+0 |
* | User's guide: Fix the category of some flags | Joachim Breitner | 2017-10-19 | 1 | -2/+4 |
* | users_guide: Convert mkUserGuidePart generation to a Sphinx extension | Patrick Dougherty | 2017-08-18 | 1 | -36/+233 |
* | Move user's guide to ReStructuredText | Ben Gamari | 2015-10-03 | 1 | -0/+212 |