diff options
author | Michael Vogt <mvo@debian.org> | 2013-07-26 22:12:36 +0200 |
---|---|---|
committer | Michael Vogt <mvo@debian.org> | 2013-07-26 22:17:33 +0200 |
commit | 11d0fb919954e79f929ef5e755f602a6ed3be46d (patch) | |
tree | f8a263e87dc789b766d924777539a5b21b68f878 /doc/examples/configure-index | |
parent | 36a0c0f78675d10cae840a72268f70aed667fb96 (diff) |
fix missing va_end()
Diffstat (limited to 'doc/examples/configure-index')
0 files changed, 0 insertions, 0 deletions