diff options
author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-09-30 07:44:04 -0400 |
---|---|---|
committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-10-01 09:34:05 -0400 |
commit | acb3b3ddc082880eaaa1d7773296ad9abd756f23 (patch) | |
tree | 7344d56e2be6df46f9fb386a5227c6608cea1517 /src/shared/pager.c | |
parent | 9348f0e690c28f86a69c96e3e9b9f19a31c6d466 (diff) |
shared: util - use nicer idiom to silence Coverity
Change the other spot too.
Diffstat (limited to 'src/shared/pager.c')
0 files changed, 0 insertions, 0 deletions