Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
QRC1-Coq
LICENSE
Find file
Blame
History
Permalink
Change to MPL-2.0 LICENSE
· cc4d6b5e
Ana de Almeida Borges
authored
Mar 27, 2021
and
Ana de Almeida Borges
committed
Mar 27, 2021
cc4d6b5e
This project is licensed under the
Mozilla Public License 2.0
.
Learn more