diff options
| author | Donald Sharp <sharpd@cumulusnetworks.com> | 2017-08-25 13:51:46 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-25 13:51:46 -0400 |
| commit | e1bd637370df9708af91c699b2510a788625bc5a (patch) | |
| tree | c30009a6edb7a2a4a21bd97bebd22742f134d6e3 /lib/module.c | |
| parent | 32e5503d8f987bbc1e8193ce94139d72e7ea7582 (diff) | |
| parent | 0ee0892b6645c93d0e5f757b665ed40722487f96 (diff) | |
Merge pull request #1045 from opensourcerouting/clippy-coverity
clippy: disable unneeded autogenerated code
Diffstat (limited to 'lib/module.c')
0 files changed, 0 insertions, 0 deletions