diff options
author | Ben Gamari <ben@smart-cactus.org> | 2021-03-31 09:18:39 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-31 09:18:39 -0400 |
commit | e0aa493cc4f881166258ee6fdcd6bd208e18ab0e (patch) | |
tree | f981a231e4338333c6ed64efbda103a809382f2a /haddock-library | |
parent | 7afbc6b0af2c350a96c56237f3c2d3f3de204195 (diff) | |
parent | 4c471b8ffc5dc59ce72128c1d74818a08c5743cc (diff) |
Merge pull request #1370 from adinapoli/wip/adinapoli-diag-reason-severity
Rename pprError to mkParserErr
Diffstat (limited to 'haddock-library')
0 files changed, 0 insertions, 0 deletions