diff options
author | Jeremy Harris <jgh146exb@wizmail.org> | 2016-03-06 19:30:17 +0000 |
---|---|---|
committer | Jeremy Harris <jgh146exb@wizmail.org> | 2016-03-06 19:30:17 +0000 |
commit | 96f5fe4ce29825208eafffcb3579d789dc5b45d1 (patch) | |
tree | 9cfa03ea7f1efb54b6803666ac8a887f411e2129 /doc/doc-docbook | |
parent | a1b8a755528674c2ac1652eacb4f2c835f6751b6 (diff) |
tidying: coverity issues
Diffstat (limited to 'doc/doc-docbook')
0 files changed, 0 insertions, 0 deletions