Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-KVX
Repository
compcert-kvx
LICENSE
Find file
Blame
History
Permalink
LICENSE: update the list of files that are dual-licensed under the GPL
· 282f8a07
Xavier Leroy
authored
Jun 28, 2016
282f8a07
This project is licensed under the
GNU Lesser General Public License v2.1 only
.
Learn more