summaryrefslogtreecommitdiff
path: root/docs/users_guide/compare-flags.py
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2019-10-06 15:31:40 -0400
committerMarge Bot <ben+marge-bot@smart-cactus.org>2019-10-08 05:12:58 -0400
commit7cd54538e0fe5be8500335b2b10ed375b852edc2 (patch)
treead093cd1c9471a781ae92d4a1c44f13ead96cbda /docs/users_guide/compare-flags.py
parent8a2e840893bf5a1f775385713fbf0756f96c470d (diff)
downloadhaskell-7cd54538e0fe5be8500335b2b10ed375b852edc2.tar.gz
users-guide: Make reverse flags addressable via :ghc-flag:
Previously one could not easily link to the :reverse: flag of a ghc-flag.
Diffstat (limited to 'docs/users_guide/compare-flags.py')
0 files changed, 0 insertions, 0 deletions