aboutsummaryrefslogtreecommitdiff
path: root/latex-test/src/GadtConstructorArgs
diff options
context:
space:
mode:
authorSylvain Henry <sylvain@haskus.fr>2020-03-27 17:27:54 +0100
committerSylvain Henry <sylvain@haskus.fr>2020-04-27 16:47:39 +0200
commit75b9b6ebbe8326f3a2b099ab7f130960b4567618 (patch)
treeab7bc7a31c97f78749fab3e08853d8329d7efa48 /latex-test/src/GadtConstructorArgs
parent2d2587182568cc5aa4b29d401517337c32459c66 (diff)
Renamed UnitInfo fields
Diffstat (limited to 'latex-test/src/GadtConstructorArgs')
0 files changed, 0 insertions, 0 deletions