Skip to content
GitLab
Explore
Sign in
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.