diff options
author | alexbiehl <alex.biehl@gmail.com> | 2017-11-02 12:16:22 +0100 |
---|---|---|
committer | alexbiehl <alex.biehl@gmail.com> | 2017-11-02 12:16:22 +0100 |
commit | 1789c77a6ed1580dc10a4391dc8c398e902f03b1 (patch) | |
tree | 632f6bcae5fc6682870926dace7237aa1db0e2f9 /haddock-api/resources/html/Ocean.std-theme/minus.gif | |
parent | aee89dcde08a80957b55e0872eff919a48cc13f9 (diff) |
Always return documentation for exported subordinates
... event if they have no documentation (e.g. noDocForDecl)
By using the information in the AvailInfo we don't need additional
export checks.
Diffstat (limited to 'haddock-api/resources/html/Ocean.std-theme/minus.gif')
0 files changed, 0 insertions, 0 deletions