diff options
author | Christian Grothoff <christian@grothoff.org> | 2015-03-15 16:12:43 +0100 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2015-03-15 16:12:43 +0100 |
commit | 76dda24c111c7316da36eba050b18494c6c83c56 (patch) | |
tree | 2fa064f7b2189dab227ee963e6cc60fbecb0f3e8 /src/include | |
parent | 8077e0f21c84230bdd4c07247ec6e69ef109a0ae (diff) |
fixing another minor leak, improving comments
Diffstat (limited to 'src/include')
0 files changed, 0 insertions, 0 deletions