diff options
author | Kamil Dudka <kdudka@redhat.com> | 2014-07-03 20:19:35 +0200 |
---|---|---|
committer | Kamil Dudka <kdudka@redhat.com> | 2014-07-03 20:36:49 +0200 |
commit | 0cd368c2efdfd588d761fc2958f32b399eeee403 (patch) | |
tree | 37c38e14b8f4acfe88bdcc0e5783340b0f48c80d /GIT-INFO | |
parent | d343033f3d26bfbc1a1ee90db48a43763aaed264 (diff) |
tool: oops, forgot to include <plarenas.h>
... that contains the declaration of PL_ArenaFinish()
Diffstat (limited to 'GIT-INFO')
0 files changed, 0 insertions, 0 deletions