diff options
author | Guillaume Bouchard <guillaum.bouchard@gmail.com> | 2018-08-21 09:45:57 +0200 |
---|---|---|
committer | Alexander Biehl <alexbiehl@gmail.com> | 2018-08-21 09:45:57 +0200 |
commit | 00a42146c2527d8ede65c35e60db9e112b4ccc03 (patch) | |
tree | fb27377583ec8c7f361098615286faa2bbef5dfa /latex-test/ref/GadtConstructorArgs/GadtConstructorArgs.tex | |
parent | d25a4f1ec834fa69663a50a6963476e8b3576d1a (diff) |
Fix a typo (#878)
Diffstat (limited to 'latex-test/ref/GadtConstructorArgs/GadtConstructorArgs.tex')
0 files changed, 0 insertions, 0 deletions