diff options
| author | Sylvain Henry <sylvain@haskus.fr> | 2020-04-11 12:03:52 +0200 |
|---|---|---|
| committer | Sylvain Henry <sylvain@haskus.fr> | 2020-04-27 17:32:58 +0200 |
| commit | 47ab4b8e5a61e0545d71cd384d424ef1c7f80d33 (patch) | |
| tree | 1c390ddbab02156e38f55002b37a721a261deb7a /latex-test/ref/TypeFamilies3/TypeFamilies3.tex | |
| parent | 75b9b6ebbe8326f3a2b099ab7f130960b4567618 (diff) | |
UnitId has been renamed into Unit
Diffstat (limited to 'latex-test/ref/TypeFamilies3/TypeFamilies3.tex')
0 files changed, 0 insertions, 0 deletions