diff options
| author | Michael Vogt <mvo@debian.org> | 2013-08-12 17:24:15 +0200 |
|---|---|---|
| committer | Michael Vogt <mvo@debian.org> | 2013-08-12 17:24:15 +0200 |
| commit | 70e0c1683e7021a0682b0808b329a3cced3920ac (patch) | |
| tree | c330cf1655226c8e4b9e5e2174d20ea281e8bb41 /doc/en | |
| parent | b40394c0ff509954c37254b0993a985ea3ff1467 (diff) | |
some more coverity fixes
Diffstat (limited to 'doc/en')
0 files changed, 0 insertions, 0 deletions