nose-devs/nose — pull request #716 by dvc94ch (2013-07-27 12:36:59+00:00)
Title: added option --cover-omit to cover.py

--cover-omit support Issue #515