summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorNed Batchelder <nedbat@gmail.com>2016-12-24 17:05:29 -0500
committerNed Batchelder <nedbat@gmail.com>2016-12-24 17:05:29 -0500
commit6afef68b890997a2a0f46444f9f5ecd4e2d5357a (patch)
tree004879944e0b404a719106a2bdfc0031b48fa6e6 /doc
parent09ddbdd22378dfb7c9f3c485b03cf7f9251cb066 (diff)
parent1b24e9a292281239135e7c6aeedaaeec7fe7d858 (diff)
downloadpython-coveragepy-git-6afef68b890997a2a0f46444f9f5ecd4e2d5357a.tar.gz
Merged in dachary/coverage.py/issue-433-2 (pull request #112)
implement --skip-covered for html report #433
Diffstat (limited to 'doc')
-rw-r--r--doc/cmd.rst2
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/cmd.rst b/doc/cmd.rst
index bbeff182..8b97ce37 100644
--- a/doc/cmd.rst
+++ b/doc/cmd.rst
@@ -366,6 +366,8 @@ is a data file that is used to speed up reporting the next time. If you
generate a new report into the same directory, coverage.py will skip
generating unchanged pages, making the process faster.
+The ``--skip-covered`` switch will leave out any file with 100% coverage,
+letting you focus on the files that still need attention.
.. _cmd_annotation: