diff options
author | Willem Van Onsem <3482343+KommuSoft@users.noreply.github.com> | 2020-05-25 18:23:01 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-25 12:23:01 -0400 |
commit | 8551fcd2e3e0d1a34fc09233f35a62d537df7cc1 (patch) | |
tree | cf70548ef41faf777264931a1bc0217fbabdc851 /html-test/ref/mini_ModuleWithWarning.html | |
parent | 3c9e8081228ffcc38c760a6d9501a626071a5105 (diff) |
Use floor over round to calculate the percentage (#1195)
If we compile documentation where only a small fraction is undocumented,
it is misleading to see 100% coverage - 99% is more intuitive.
Fixes #1194
Diffstat (limited to 'html-test/ref/mini_ModuleWithWarning.html')
0 files changed, 0 insertions, 0 deletions