summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorTom Gundersen <teg@jklm.no>2014-09-30 11:37:28 +0200
committerTom Gundersen <teg@jklm.no>2014-09-30 11:37:28 +0200
commitc6828d2794fcd00b6b0d2a040301c90ad424d14f (patch)
tree2f02a5e1b48c8ded83e9bb770b19ad61839c50af /.gitignore
parente63ff941eaa012ffd003e3791438c73b8a26227d (diff)
shared: util - use nicer idiom to silence Coverity
Suggested by Zbigniew.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions