Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
coq
CONTRIBUTING.md
Find file
Blame
History
Permalink
Update contributing guide / mention doc_gram.
· 4969d053
Théo Zimmermann
authored
Jun 15, 2021
4969d053
After you've reviewed these contribution guidelines, you'll be all set to contribute to this project.