diff options
author | Alec Theriault <alec.theriault@gmail.com> | 2018-10-25 20:16:46 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-25 20:16:46 -0700 |
commit | cd520e9907b9a56cae5a2e51413eef1522a37bbb (patch) | |
tree | fdf7926aaa9b7a14dbf9b5bc864f19636facd80a /latex-test/Main.hs | |
parent | b4b68d73df3485f3b0ea59c6170805788a09c593 (diff) |
Avoid more conflicts in generated ids (#954)
This fixes #953 by passing more names into the generated ids.
Diffstat (limited to 'latex-test/Main.hs')
0 files changed, 0 insertions, 0 deletions