summaryrefslogtreecommitdiff
path: root/tests/cffi.urs
Commit message (Collapse)AuthorAge
* C FFI compiler optionsGravatar Adam Chlipala2009-04-30