diff options
| author | Donatas Abraitis <donatas@opensourcerouting.org> | 2024-06-25 08:53:13 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-06-25 08:53:13 +0300 |
| commit | e5faf01dcc9bbd1b0c67bb7512e43ad7cbded00d (patch) | |
| tree | 4dcf1d8bb0a3b7e3dbe45f7644408334795abda0 /doc/developer/conf.py | |
| parent | 67421ba30dde68638906212457f9b71036399067 (diff) | |
| parent | df97a9d13318f15c59bb055b90529e9e8378a619 (diff) | |
Merge pull request #16270 from cscarpitta/fix/fix-coverity-issues
zebra: Fix coverity issues
Diffstat (limited to 'doc/developer/conf.py')
0 files changed, 0 insertions, 0 deletions