diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-09-16 21:54:21 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-09-16 21:54:21 +0000 |
commit | 84f0e9f58671083794dce8ed8e71a8fa9fe587cd (patch) | |
tree | 2dcf0b3d91cc2a16eda91635f367913d9dc27803 /README | |
parent | 67bc89bd3fa304ea39934c14a7187c088e600011 (diff) |
dump define-funs correctly with "--dump declarations", whether the function is defined via API or through input language
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions