diff options
| author | Michael Schmidt <github@mschmidt.me> | 2018-02-19 11:02:54 +0100 |
|---|---|---|
| committer | Michael Schmidt <github@mschmidt.me> | 2018-02-19 11:02:54 +0100 |
| commit | 4472f312e3d5ef93d1b89b326727a10d34d918ce (patch) | |
| tree | 8895723b3b725cd7d06b6d7df70df1de1c28b580 /cfrontend | |
| parent | fcc5b32267d22de13553c0f5fc61ae60f0723a50 (diff) | |
| download | compcert-4472f312e3d5ef93d1b89b326727a10d34d918ce.tar.gz compcert-4472f312e3d5ef93d1b89b326727a10d34d918ce.zip | |
Struct return on OpenBSD now tested
Diffstat (limited to 'cfrontend')
0 files changed, 0 insertions, 0 deletions