diff options
author | Artem Pelenitsyn <a.pelenitsyn@gmail.com> | 2022-05-08 10:19:47 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-05-08 16:19:47 +0200 |
commit | 4073ed3534eea6579869679bdb59ea3322c2a588 (patch) | |
tree | ccadbf7dfcb67f2b61ec2717bc378cd9f9a22e59 /latex-test/ref/GadtConstructorArgs | |
parent | ab53ccf089ea703b767581ac14be0f6c78a7678a (diff) |
fix parsing trailing quotes in backticked identifiers (#1408) (#1483)
Diffstat (limited to 'latex-test/ref/GadtConstructorArgs')
0 files changed, 0 insertions, 0 deletions