diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-09-21 14:15:31 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-09-21 14:15:31 +0200 |
| commit | b525fbe0915931a939d5851b511ce46fcf026236 (patch) | |
| tree | 8117697dbb9289a3b662e98522b9fc4065b7aaab /powerpc | |
| parent | e7b938f620ddc1e10542727f7ec142f47f7090bf (diff) | |
| download | compcert-kvx-b525fbe0915931a939d5851b511ce46fcf026236.tar.gz compcert-kvx-b525fbe0915931a939d5851b511ce46fcf026236.zip | |
No need for -R options, _CoqProject contains them already
Diffstat (limited to 'powerpc')
0 files changed, 0 insertions, 0 deletions