diff options
Diffstat (limited to 'vppinfra/vppinfra/timer.h')
| -rw-r--r-- | vppinfra/vppinfra/timer.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/vppinfra/vppinfra/timer.h b/vppinfra/vppinfra/timer.h index d029d96eed9..764103f702d 100644 --- a/vppinfra/vppinfra/timer.h +++ b/vppinfra/vppinfra/timer.h @@ -36,3 +36,11 @@ extern void timer_block (sigset_t * save); extern void timer_unblock (sigset_t * save); #endif /* included_timer_h */ + +/* + * fd.io coding-style-patch-verification: ON + * + * Local Variables: + * eval: (c-set-style "gnu") + * End: + */ |