mirror of
https://github.com/huashengdun/webssh.git
synced 2026-02-14 11:49:50 +00:00
14 lines
203 B
INI
14 lines
203 B
INI
[run]
|
|
branch = true
|
|
source = webssh
|
|
|
|
[report]
|
|
exclude_lines =
|
|
if self.debug:
|
|
pragma: no cover
|
|
raise NotImplementedError
|
|
if __name__ == .__main__.:
|
|
ignore_errors = True
|
|
omit =
|
|
tests/*
|