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 /DISTRO_PORTING | |
| parent | e63ff941eaa012ffd003e3791438c73b8a26227d (diff) | |
shared: util - use nicer idiom to silence Coverity
Suggested by Zbigniew.
Diffstat (limited to 'DISTRO_PORTING')
0 files changed, 0 insertions, 0 deletions