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 /latex-test/src/NamespacedIdentifier | |
| parent | 7afbc6b0af2c350a96c56237f3c2d3f3de204195 (diff) | |
| parent | 4c471b8ffc5dc59ce72128c1d74818a08c5743cc (diff) | |
Merge pull request #1370 from adinapoli/wip/adinapoli-diag-reason-severity
Rename pprError to mkParserErr
Diffstat (limited to 'latex-test/src/NamespacedIdentifier')
0 files changed, 0 insertions, 0 deletions