diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-11-09 15:17:52 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-11-09 15:17:52 +0100 |
commit | 4f5ec2ec310a78940b29f18e51dd598a9dfe401d (patch) | |
tree | bc9dcc0aa912208340ec71d74d48f43d6430d005 /doc | |
parent | 9ac1af5d82c94d5476d1a7c9114dbde9581b80b2 (diff) | |
download | compcert-kvx-4f5ec2ec310a78940b29f18e51dd598a9dfe401d.tar.gz compcert-kvx-4f5ec2ec310a78940b29f18e51dd598a9dfe401d.zip |
Fixing k1-gcc becoming k1-mbr-gcc
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions