diff options
author | Marcin Szamotulski <coot@coot.me> | 2022-05-21 23:32:31 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-05-21 23:32:31 +0200 |
commit | c0f06d55bd64d2777588860917be3dcdaede3479 (patch) | |
tree | b9868542f50ced56ec522bec3921f9dc497da948 /html-test/ref/GadtConstructorArgs.html | |
parent | 2c27d150f777f08165d3c8c60c8aa2a0fa164fdd (diff) |
Allow to hide interfaces when rendering multiple components (#1487)
This is useful when one wishes to `--gen-contents` when rendering
multiple components, but one does not want to render all modules. This
is in particular useful when adding base package.
Diffstat (limited to 'html-test/ref/GadtConstructorArgs.html')
0 files changed, 0 insertions, 0 deletions