diff options
author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2016-04-08 21:08:18 -0400 |
---|---|---|
committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2016-04-08 21:08:18 -0400 |
commit | 045e00cf16c47bc516c0823d059b7548f3ce9c7c (patch) | |
tree | 01ec6abcb1a8074305a5483d0123f4f221dfc7dc /.github | |
parent | 164d025dd3c92b9643f5e1d01cb5c9a8987fc2dc (diff) |
udevd: use (void) to silence coverity
CID #1351429.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions