summaryrefslogtreecommitdiff
path: root/docs/users_guide/flags.py
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2019-10-06 15:03:48 -0400
committerMarge Bot <ben+marge-bot@smart-cactus.org>2019-10-08 05:12:58 -0400
commit8a2e840893bf5a1f775385713fbf0756f96c470d (patch)
tree6475b5e3eefa71099e8df048981f164ba54be120 /docs/users_guide/flags.py
parent397c6ed5ca5329408db33a64e45102fff23c969a (diff)
downloadhaskell-8a2e840893bf5a1f775385713fbf0756f96c470d.tar.gz
users-guide: Refer to language extension flags via :extension:
Previously several were referred to via :ghc-flag:`-X...`.
Diffstat (limited to 'docs/users_guide/flags.py')
0 files changed, 0 insertions, 0 deletions