diff options
author | alexbiehl <alex.biehl@gmail.com> | 2018-02-06 09:20:51 +0100 |
---|---|---|
committer | alexbiehl <alex.biehl@gmail.com> | 2018-02-06 09:20:51 +0100 |
commit | ffee7f80736f91f0f18c787f093b4ca1ae315afa (patch) | |
tree | 64a8b41fc45c14ebb7811e8bf95c86f88e95082f /html-test/ref/mini_GADTRecords.html | |
parent | d73af20636a7f7f9f3022ca19fa5a97e871ddabf (diff) |
fullModuleContents: support named docs
Diffstat (limited to 'html-test/ref/mini_GADTRecords.html')
0 files changed, 0 insertions, 0 deletions