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 /backend/Locations.v | |
parent | 60ab550a952c3d9719b2a91ec90c9b58769f6717 (diff) | |
download | compcert-fd83d08d27057754202c575ed8a42d01b1af54c5.tar.gz compcert-fd83d08d27057754202c575ed8a42d01b1af54c5.zip |
bug 17392: fix typo in OS name
Diffstat (limited to 'backend/Locations.v')
0 files changed, 0 insertions, 0 deletions