diff options
| author | Thomas Hindoe Paaboel Andersen <phomes@gmail.com> | 2014-09-13 12:35:06 +0200 |
|---|---|---|
| committer | Thomas Hindoe Paaboel Andersen <phomes@gmail.com> | 2014-09-13 12:38:39 +0200 |
| commit | 4d5e13a125cf8d77d432225ab69826caa1d1cf59 (patch) | |
| tree | 9d3c49846927477e82e4d6970394e9cbe14c894c /tools/make-man-index.py | |
| parent | 0ee9613d98cbe1f36ffc98c6bfa51dd2b798fc6d (diff) | |
core: fix a potential mem leak
Found with Coverity. Fixes: CID#996438
Diffstat (limited to 'tools/make-man-index.py')
0 files changed, 0 insertions, 0 deletions