Mentions légales du service
Skip to content
GitLab
Explore
Sign in
coq
COPYING
Find file
Blame
History
Permalink
Change license to LGPL 3 or later.
· 4f3e8ff9
Guillaume Melquiond
authored
Apr 04, 2020
4f3e8ff9
This project is licensed under the
Other
.
Learn more
Loading
