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
commit5b71841fe7b172115051357d9d237ab8d523c593 (patch)
tree8602e1e7d7876996a41bff93adcdc22dc2444dac /doc
parenta020b6d03226f3c1bf2f6e92ce4ae8999b9187ea (diff)
parentc6a957e0e0ae7bdfe8f5425182188799918dd88a (diff)
downloadpython-coveragepy-5b71841fe7b172115051357d9d237ab8d523c593.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 bbeff18..8b97ce3 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: