diff options
| author | Mark Stapp <mjs@voltanet.io> | 2021-05-19 15:56:17 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-19 15:56:17 -0400 |
| commit | e804e2597caa202a75b3d39aafd585bce5bb09aa (patch) | |
| tree | 7db595a9edc42951dcafe581fed5628acb0097e3 /doc/developer/conf.py | |
| parent | d516382e1289dc1167a2081cf0b14396014819ab (diff) | |
| parent | 3558b8b8b46bd7907c7d7b66b63aa0f5fe63ddb0 (diff) | |
Merge pull request #8700 from idryzhov/coverity
fix a couple of coverity warnings
Diffstat (limited to 'doc/developer/conf.py')
0 files changed, 0 insertions, 0 deletions