diff options
| author | Michael Schmidt <github@mschmidt.me> | 2015-10-14 15:08:51 +0200 |
|---|---|---|
| committer | Michael Schmidt <github@mschmidt.me> | 2015-10-14 15:08:51 +0200 |
| commit | fd83d08d27057754202c575ed8a42d01b1af54c5 (patch) | |
| tree | 0e76a632bf7028195ccede5790b8daa90f94976b /powerpc/Archi.v | |
| parent | 60ab550a952c3d9719b2a91ec90c9b58769f6717 (diff) | |
| download | compcert-kvx-fd83d08d27057754202c575ed8a42d01b1af54c5.tar.gz compcert-kvx-fd83d08d27057754202c575ed8a42d01b1af54c5.zip | |
bug 17392: fix typo in OS name
Diffstat (limited to 'powerpc/Archi.v')
0 files changed, 0 insertions, 0 deletions