diff options
author | Michael Schmidt <github@mschmidt.me> | 2015-12-11 10:15:33 +0100 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2015-12-11 10:15:33 +0100 |
commit | 66ae780e8a94f676480e9eec40354a3a8cbc3041 (patch) | |
tree | c45a1c3471eb2cf93f1fb7fc7cd3a4c910890847 /README.md | |
parent | a7f005b94a1dac82ac106950f643507a268ff1c9 (diff) | |
download | compcert-66ae780e8a94f676480e9eec40354a3a8cbc3041.tar.gz compcert-66ae780e8a94f676480e9eec40354a3a8cbc3041.zip |
bug 17752, add builtin_nop for PowerPC
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions