diff options
| author | Andrew Martin <andrew.thaddeus@gmail.com> | 2020-10-11 15:59:22 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2020-12-14 16:48:40 -0500 |
| commit | 4ffb30d8b637ccebecc81ce610f0af451ac8088d (patch) | |
| tree | 119e218ed13fbc64989b8026cf05f00df00b4ce1 /latex-test/ref/GadtConstructorArgs | |
| parent | 7936692badfe38f23ae95b51fb7bd7c2ff7e9bce (diff) | |
Update for boxed rep
Diffstat (limited to 'latex-test/ref/GadtConstructorArgs')
0 files changed, 0 insertions, 0 deletions