Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
coq
coq
Repository
coq
CONTRIBUTING.md
Find file
Blame
History
Permalink
[doc] Update contributing guide for auto-generated opam files linter
· c33bc530
Emilio Jesús Gallego Arias
authored
Jul 07, 2023
Follow up for #17804
c33bc530
After you've reviewed these contribution guidelines, you'll be all set to contribute to this project.