diff options
author | Ned Batchelder <ned@nedbatchelder.com> | 2020-04-11 14:19:18 -0400 |
---|---|---|
committer | Ned Batchelder <ned@nedbatchelder.com> | 2020-04-11 14:59:15 -0400 |
commit | fd43e3509f559c55b61f92dacbd524cd42941b06 (patch) | |
tree | a6fd832be8f335adce434dd3fbfc04eeeea51fad /coverage/config.py | |
parent | 97997d2cd6801d0335e3fa162b719d6f8c160266 (diff) | |
download | python-coveragepy-git-fd43e3509f559c55b61f92dacbd524cd42941b06.tar.gz |
Finish up #967. Thanks, Bernát Gábor
Diffstat (limited to 'coverage/config.py')
-rw-r--r-- | coverage/config.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/coverage/config.py b/coverage/config.py index 166f34ea..7876052b 100644 --- a/coverage/config.py +++ b/coverage/config.py @@ -421,6 +421,7 @@ class CoverageConfig(object): `value` is the new value for the option. """ + # Special-cased options. if option_name == "paths": self.paths = value return @@ -451,6 +452,7 @@ class CoverageConfig(object): Returns the value of the option. """ + # Special-cased options. if option_name == "paths": return self.paths |