summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>2016-04-08 21:08:18 -0400
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>2016-04-08 21:08:18 -0400
commit045e00cf16c47bc516c0823d059b7548f3ce9c7c (patch)
tree01ec6abcb1a8074305a5483d0123f4f221dfc7dc /.github
parent164d025dd3c92b9643f5e1d01cb5c9a8987fc2dc (diff)
udevd: use (void) to silence coverity
CID #1351429.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions