diff options
author | Jeremy Harris <jgh146exb@wizmail.org> | 2016-03-06 23:47:26 +0000 |
---|---|---|
committer | Jeremy Harris <jgh146exb@wizmail.org> | 2016-03-06 23:47:26 +0000 |
commit | 77560253c28c9e755e7551989185332070269a8e (patch) | |
tree | 03e30f1a97e2253e98bea6ae0691521b75a47306 /doc/doc-docbook | |
parent | 96f5fe4ce29825208eafffcb3579d789dc5b45d1 (diff) |
tidying: coverity issues
Diffstat (limited to 'doc/doc-docbook')
0 files changed, 0 insertions, 0 deletions