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 /x86 | |
| parent | 9ac1af5d82c94d5476d1a7c9114dbde9581b80b2 (diff) | |
| download | compcert-kvx-4f5ec2ec310a78940b29f18e51dd598a9dfe401d.tar.gz compcert-kvx-4f5ec2ec310a78940b29f18e51dd598a9dfe401d.zip | |
Fixing k1-gcc becoming k1-mbr-gcc
Diffstat (limited to 'x86')
0 files changed, 0 insertions, 0 deletions