diff options
| author | Ignat Insarov <kindaro@gmail.com> | 2020-04-10 04:15:01 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-09 21:15:01 -0400 |
| commit | d8aaaba9414b149fa7941d364b6d4a3fbcc1a520 (patch) | |
| tree | 2c22ab2433b7ca13f24fe7e5bae2219bf80a8259 /latex-test/ref/GadtConstructorArgs/GadtConstructorArgs.tex | |
| parent | 87fbc11227347da805a3d2158d462514438ca742 (diff) | |
Recode Doc to Json. (#1159)
* Recode Doc to Json.
* More descriptive field labels.
Diffstat (limited to 'latex-test/ref/GadtConstructorArgs/GadtConstructorArgs.tex')
0 files changed, 0 insertions, 0 deletions