diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2013-10-10 14:01:19 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2013-10-10 14:01:19 -0400 |
| commit | 942ccb5531870b3068f762c5db6aa6d5ba0cfa7a (patch) | |
| tree | cf994a8f65ee324c8e05b2b54cb448d4a06973b0 /tests/ffi_eff.urs | |
| parent | 4d148b89f7ff6e41dbc0643f981aa37222929dd7 (diff) | |
Manual entries for -ccompiler and -print-ccompiler
Diffstat (limited to 'tests/ffi_eff.urs')
0 files changed, 0 insertions, 0 deletions