diff options
| author |   Paul Vinciguerra <pvinci@vinciconsulting.com> | 2019-11-01 13:00:58 -0400 |
|---|---|---|
| committer |   Dave Wallace <dwallacelf@gmail.com> | 2020-05-06 15:13:09 +0000 |
| commit | b5a575b0924036378b6deb50ac8fe7de3380e18d (patch) | |
| tree | fae50e4af5256fe24838f7e85d1d6c17bcdc80d4 /src/plugins/igmp/igmp_timer.c | |
| parent | aad5e0c16fb4d91f6d896f8035d6acb9bcd0fec6 (diff) | |
docs: clean up make docs job
Type: docs
Change-Id: I9b5e5137eb4c1e89f6e8d7a278cd11a0fd496471
Signed-off-by: Paul Vinciguerra <pvinci@vinciconsulting.com>
Diffstat (limited to 'src/plugins/igmp/igmp_timer.c')
| -rw-r--r-- | src/plugins/igmp/igmp_timer.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/plugins/igmp/igmp_timer.c b/src/plugins/igmp/igmp_timer.c index afa0c3693c9..2d38dd07a99 100644 --- a/src/plugins/igmp/igmp_timer.c +++ b/src/plugins/igmp/igmp_timer.c @@ -95,7 +95,6 @@ igmp_timer_compare (const void *_v1, const void *_v2) } /** \brief igmp get next timer - @param im - igmp main Get next timer. */ |