diff options
| author | Tom Gundersen <teg@jklm.no> | 2014-09-29 14:30:15 +0200 |
|---|---|---|
| committer | Tom Gundersen <teg@jklm.no> | 2014-09-29 20:52:10 +0200 |
| commit | 9fb02b1d5df153aa522256aec821e422cca7f284 (patch) | |
| tree | a57cbf310dc0b6b550237169792bc3f1d908d9a6 /man/udev.xml | |
| parent | e8c8ddccfc63574069c30b7e75f0ccfd5b03eab9 (diff) | |
util: silence coverity
Make it clear in the code that ignoring a failed safe_ato?() is intentional.
Diffstat (limited to 'man/udev.xml')
0 files changed, 0 insertions, 0 deletions