diff options
author | malteneuss <malteneuss@users.noreply.github.com> | 2022-03-07 19:27:24 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-03-07 19:27:24 +0100 |
commit | 0c19a8847844a4a45b9fe7c115effcec461cfe5c (patch) | |
tree | 53ba22ad78938a38777a8371ca138e919a4e2ea0 /latex-test/src/GadtConstructorArgs | |
parent | e47d86f1f6124bb01f496ec35e1dae965218e884 (diff) |
Add multi-line style hint to style section (#1460)
Diffstat (limited to 'latex-test/src/GadtConstructorArgs')
0 files changed, 0 insertions, 0 deletions