diff options
| author | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-02-13 23:57:16 +0000 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-02-13 23:57:16 +0000 |
| commit | 50d1d18cc70cf6c8ffcf247743cd8af0ff9aae16 (patch) | |
| tree | 02898d7db4e8d7efe038c31c3de3ef2f4ed7eac0 /html-test/src/Bug7.hs | |
| parent | d86f68860c40d45d2cec94edd15d4bf4fc4292d8 (diff) | |
Only warn about missing docs when docs are missing
This fixes the ‘Missing documentation for…’ message for modules with
100% coverage.
Diffstat (limited to 'html-test/src/Bug7.hs')
0 files changed, 0 insertions, 0 deletions