diff options
author | Michael Vogt <mvo@debian.org> | 2013-07-25 20:26:11 +0200 |
---|---|---|
committer | Michael Vogt <mvo@debian.org> | 2013-07-25 20:26:11 +0200 |
commit | 3d165906327828990bec2c58a3c1f4ee77467523 (patch) | |
tree | 277afa2511cd7b3d79672fee71b0e52da6cd89e7 /COMPILING | |
parent | fe0036dd7e3bbd808fa526e2e142fdb89105caae (diff) |
fix resource leak (thanks coverity)
Diffstat (limited to 'COMPILING')
0 files changed, 0 insertions, 0 deletions