diff options
| author | Hécate Moonlight <Kleidukos@users.noreply.github.com> | 2021-02-09 10:58:51 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-09 10:58:51 +0100 |
| commit | d1b7f181b60ba3ac191183f1512e66793d28ac08 (patch) | |
| tree | 8c6f90cfcd22db5ede59c0172c0e28d6f974ec9e /latex-test/ref/GadtConstructorArgs | |
| parent | e57d82dde105ffbfcb27ab261041c97b4dd0150a (diff) | |
| parent | 6c7d748ceb56f8c23ef3f12fc3e21cfc5ce31cd3 (diff) | |
Merge pull request #1327 from hsyl20/wip/hsyl20/logger2
Fix to build with HEAD
Diffstat (limited to 'latex-test/ref/GadtConstructorArgs')
0 files changed, 0 insertions, 0 deletions