diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2018-07-20 03:01:49 -0700 |
|---|---|---|
| committer | Simon Jakobi <simon.jakobi@gmail.com> | 2018-07-20 13:39:29 +0200 |
| commit | 0b50627a7ae8bfbcfe771eac71cc1975903d118e (patch) | |
| tree | b732ed4c7881ccd7659ce550159ab87f124bb1ac /latex-test/src/Simple | |
| parent | 990d54c4e4a119d6d3a9ceae278eb7ca9fd24fce (diff) | |
Preserve docs on type family instances (#867)
* Preserve docs on type family instances
The only problem was that the instance location was slightly off
for type family instances.
* Accept output
(cherry picked from commit 133e9c2c168db19c1135479f7ab144c4e33af2a4)
Diffstat (limited to 'latex-test/src/Simple')
0 files changed, 0 insertions, 0 deletions