diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-28 12:10:28 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-28 12:10:28 +0200 |
commit | 1bb219c2df5f7b06227a2bddfc24721a372847ab (patch) | |
tree | eece4fd77c5d675ae88876c89ab3752ca977352c /README.md | |
parent | a1c113c44d8f1c06f51f6692a50df831fb9747ad (diff) | |
download | compcert-kvx-1bb219c2df5f7b06227a2bddfc24721a372847ab.tar.gz compcert-kvx-1bb219c2df5f7b06227a2bddfc24721a372847ab.zip |
reinstate TARGET_CC
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions