diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2018-07-20 03:01:49 -0700 |
|---|---|---|
| committer | Alexander Biehl <alexbiehl@gmail.com> | 2018-07-20 12:01:49 +0200 |
| commit | 133e9c2c168db19c1135479f7ab144c4e33af2a4 (patch) | |
| tree | 700465ca4106165056733fc45155f7caaaa6292a /scripts | |
| parent | c3eb3f0581f69e816f9453b1747a9f2a3ba02bb9 (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
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions