Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Dan Frumin
coq-stdpp
Repository
coq-stdpp
CONTRIBUTING.md
Find file
Blame
History
Permalink
update CONTRIBUTING
· f41a35e8
Ralf Jung
authored
Oct 24, 2017
f41a35e8
After you've reviewed these contribution guidelines, you'll be all set to contribute to this project.