Skip to content
GitLab
Explore
Sign in
coq-stdpp
CONTRIBUTING.md
Find file
Blame
Permalink
Oct 24, 2017
f41a35e8
update CONTRIBUTING
· f41a35e8
Ralf Jung
authored
Oct 24, 2017
f41a35e8
update CONTRIBUTING
Ralf Jung
authored
Oct 24, 2017
After you've reviewed these contribution guidelines, you'll be all set to contribute to this project.
Loading