diff options
Diffstat (limited to 'coverage/htmlfiles/index.html')
-rw-r--r-- | coverage/htmlfiles/index.html | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/coverage/htmlfiles/index.html b/coverage/htmlfiles/index.html index 983db061..3654d66a 100644 --- a/coverage/htmlfiles/index.html +++ b/coverage/htmlfiles/index.html @@ -104,6 +104,13 @@ <p id="no_rows"> No items found using the specified filter. </p> + + {% if skipped_covered_msg %} + <p>{{ skipped_covered_msg }}</p> + {% endif %} + {% if skipped_empty_msg %} + <p>{{ skipped_empty_msg }}</p> + {% endif %} </div> <div id="footer"> |