diff options
author | Tom Gundersen <teg@jklm.no> | 2014-09-30 11:37:28 +0200 |
---|---|---|
committer | Tom Gundersen <teg@jklm.no> | 2014-09-30 11:37:28 +0200 |
commit | c6828d2794fcd00b6b0d2a040301c90ad424d14f (patch) | |
tree | 2f02a5e1b48c8ded83e9bb770b19ad61839c50af /.gitignore | |
parent | e63ff941eaa012ffd003e3791438c73b8a26227d (diff) |
shared: util - use nicer idiom to silence Coverity
Suggested by Zbigniew.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions