summaryrefslogtreecommitdiff
path: root/docs/users_guide/intro.rst
Commit message (Expand)AuthorAgeFilesLines
* users-guide: Update Wiki URLs to point to GitLabTakenobu Tani2019-03-191-5/+5
* Docs: Delete duplicate paragraph in user guideSiddhanathan Shanmugam2016-12-171-8/+0
* user-guide: Refer to MIN_VERSION_GLASGOW_HASKELL from introBen Gamari2016-01-211-0/+3
* Move user's guide to ReStructuredTextBen Gamari2015-10-031-0/+177