summaryrefslogtreecommitdiff
path: root/docs/users_guide/compare-flags.py
Commit message (Collapse)AuthorAgeFilesLines
* gitlab-ci: Check coverage of GHC flags in users guideBen Gamari2019-10-081-0/+91
This ensures that all GHC flags are documented during the documentation build. Fixes #17315.