diff options
| author | Sebastian Graf <sebastian.graf@kit.edu> | 2020-04-29 16:44:11 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-05-01 10:38:16 -0400 |
| commit | 8b51fcbd67ca17a6dcc2f9e5a29176f836bf11d2 (patch) | |
| tree | 80190649a58f0e282f7456ee1b1a9220d37ab99e /docs/users_guide/conf.py | |
| parent | de9fc995c2170bc34600ee3fc80393c67cfecad1 (diff) | |
| download | haskell-8b51fcbd67ca17a6dcc2f9e5a29176f836bf11d2.tar.gz | |
PmCheck: Only call checkSingle if we would report warnings
Diffstat (limited to 'docs/users_guide/conf.py')
0 files changed, 0 insertions, 0 deletions