diff options
| author | Yuchen Pei <hi@ypei.me> | 2022-07-19 11:17:13 +1000 |
|---|---|---|
| committer | Yuchen Pei <hi@ypei.me> | 2022-07-21 13:01:51 +1000 |
| commit | 2e633babce6849987114c1ecc3ec2be8f14a0e4b (patch) | |
| tree | 094852f52fa5672caec147ed1b4efb952197cd03 /latex-test/src/GadtConstructorArgs | |
| parent | 6955f36651c5aad90475398480450974fcb276bd (diff) | |
typo
Diffstat (limited to 'latex-test/src/GadtConstructorArgs')
0 files changed, 0 insertions, 0 deletions