diff options
| author | Michael Schmidt <github@mschmidt.me> | 2015-12-15 10:47:00 +0100 |
|---|---|---|
| committer | Michael Schmidt <github@mschmidt.me> | 2015-12-15 10:47:00 +0100 |
| commit | ccb5562d254b3a82cc0b09b35126aac05edcc1aa (patch) | |
| tree | bfb3acba4497a9e851cb14747721a835aedfc385 /.gitignore | |
| parent | 00e3b7b59515c086fb92751c15d61b0352f9fde9 (diff) | |
| download | compcert-ccb5562d254b3a82cc0b09b35126aac05edcc1aa.tar.gz compcert-ccb5562d254b3a82cc0b09b35126aac05edcc1aa.zip | |
bug 17752, rename builtin64_X to __builtin_X64
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions