summaryrefslogtreecommitdiff
path: root/docs/users_guide/compare-flags.py
Commit message (Expand)AuthorAgeFilesLines
* Documentation fixesKrzysztof Gogolewski2021-01-301-4/+9
* compare-flags: Strip whitespace from flags read from --show-optionsGHC GitLab CI2021-01-301-2/+2
* gitlab-ci: Set locale to C.UTF-8.Gleb Popov2020-05-211-1/+1
* compare-flags: Fix outputBen Gamari2020-02-141-6/+9
* compare-flags: Don't rely on encoding flag of subprocess.check_outputBen Gamari2020-02-141-3/+2
* users-guide: Fix "invalid file" failureBen Gamari2020-02-141-1/+1
* docs/compare-flags: Don't use python f-stringsBen Gamari2020-02-141-4/+4
* gitlab-ci: Check coverage of GHC flags in users guideBen Gamari2019-10-081-0/+91