Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-KVX
Repository
compcert-kvx
README.md
Find file
Blame
History
Permalink
Update copyright section
· d39a9b5e
Xavier Leroy
authored
Jan 11, 2018
So that it is consistent with the LICENSE file.
d39a9b5e