Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Erik Martin-Dorel
docker-coq-gitlab-ci-demo-2
Repository
docker-coq-gitlab-ci-demo-2
LICENSE
Find file
Blame
History
Permalink
Add LICENSE
· e9d0a3b2
Erik Martin-Dorel
authored
Nov 01, 2018
e9d0a3b2
This project is licensed under the
BSD 3-Clause "New" or "Revised" License
.
Learn more