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 /cmdline | |
| parent | fe0036dd7e3bbd808fa526e2e142fdb89105caae (diff) | |
fix resource leak (thanks coverity)
Diffstat (limited to 'cmdline')
0 files changed, 0 insertions, 0 deletions