aboutsummaryrefslogtreecommitdiff
path: root/latex-test/ref/GadtConstructorArgs
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2020-07-23 09:35:03 -0400
committerGitHub <noreply@github.com>2020-07-23 09:35:03 -0400
commit7e0612e2745ba139af40a4db18406197ff60b1bd (patch)
tree26321ac202d0f9600ba1bab45f41499ee9eef418 /latex-test/ref/GadtConstructorArgs
parent7e1ae9b519e16bd93fafcc653e38524fa17b38b9 (diff)
parent7e6628febc482b4ad451f49ad416722375d1b170 (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