diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2020-04-07 11:19:58 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-07 11:19:58 -0400 |
| commit | cb65d6f3d452f46dcdd87347f50ce1548aa3fbbb (patch) | |
| tree | 46d459989eb9bc28f4d035b5639d96bf88912ccf /latex-test/ref/TypeFamilies3/main.tex | |
| parent | c8a9f89a49a1a4aada87c8f6df8432e659dbcdcc (diff) | |
| parent | 38036137bce2587c6d50756f6fab8cfafeb5a63b (diff) | |
Merge pull request #1154 from hsyl20/wip/hsyl20/modules/tc
Module renaming: amend previous patch
Diffstat (limited to 'latex-test/ref/TypeFamilies3/main.tex')
0 files changed, 0 insertions, 0 deletions