diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2013-10-11 17:15:28 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2013-10-11 17:15:28 -0400 |
| commit | f69037ea493a13e6687d7c068acb40bae87c4761 (patch) | |
| tree | a3481c5a857e82c51593df3518223bd0319d6a2a /demo/batchG.urp | |
| parent | b877e9c099be92c78a439e9e9cb6553467f28237 (diff) | |
New header file scheme to support FFI code in either of C or C++ [based on suggestion by Ron de Bruijn]
Diffstat (limited to 'demo/batchG.urp')
0 files changed, 0 insertions, 0 deletions