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 /cparser/tests | |
parent | e7b938f620ddc1e10542727f7ec142f47f7090bf (diff) | |
download | compcert-b525fbe0915931a939d5851b511ce46fcf026236.tar.gz compcert-b525fbe0915931a939d5851b511ce46fcf026236.zip |
No need for -R options, _CoqProject contains them already
Diffstat (limited to 'cparser/tests')
0 files changed, 0 insertions, 0 deletions