diff options
author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2020-09-05 02:08:16 +0200 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-09-12 00:33:25 -0400 |
commit | 8440b5fa1397940f2f293935927e690b34110a73 (patch) | |
tree | 8f641c7400a742603b792058166b271fb2046086 /docs/users_guide/flags.py | |
parent | 853d121acfcdae208e852edacac65a1b3e8cab83 (diff) | |
download | haskell-8440b5fa1397940f2f293935927e690b34110a73.tar.gz |
Make sure we can read past perf notes
See #18656.
Diffstat (limited to 'docs/users_guide/flags.py')
0 files changed, 0 insertions, 0 deletions