diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2020-07-23 09:35:03 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-23 09:35:03 -0400 |
| commit | 7e0612e2745ba139af40a4db18406197ff60b1bd (patch) | |
| tree | 26321ac202d0f9600ba1bab45f41499ee9eef418 /latex-test/ref/GadtConstructorArgs | |
| parent | 7e1ae9b519e16bd93fafcc653e38524fa17b38b9 (diff) | |
| parent | 7e6628febc482b4ad451f49ad416722375d1b170 (diff) | |
Merge pull request #1200 from wz1000/wip/wz1000-modular-ping-pong
Modular ping pong
Diffstat (limited to 'latex-test/ref/GadtConstructorArgs')
0 files changed, 0 insertions, 0 deletions