Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-IntrinSec
Repository
compcert-intrinsec
coq
Find file
Blame
History
Permalink
No need for -R options, _CoqProject contains them already
· b525fbe0
Xavier Leroy
authored
Sep 21, 2020
b525fbe0