aboutsummaryrefslogtreecommitdiffhomepage
path: root/CONTRIBUTING.md
Commit message (Expand)AuthorAge
* Move README.ci and link to it from CONTRIBUTING.Gravatar Théo Zimmermann2017-09-08
* Fix link to debugging file.Gravatar Théo Zimmermann2017-08-29
* Don't belittle the size of the SE communityGravatar Tej Chajed2017-08-18
* Don't mention coq-club at allGravatar Tej Chajed2017-08-18
* Advise contributors to use SE over coq-clubGravatar Tej Chajed2017-08-18
* Never mind, don't mention coqdevGravatar Tej Chajed2017-08-15
* Mention coqdev@Gravatar Tej Chajed2017-08-15
* Also mention Stack ExchangeGravatar Tej Chajed2017-08-12
* Add some things Jason mentionedGravatar Tej Chajed2017-08-12
* Expand PR process explanationGravatar Tej Chajed2017-08-12
* Link to the existing list of tutorialsGravatar Tej Chajed2017-08-12
* Simplify a bit of wordingGravatar Tej Chajed2017-08-10
* Describe pull requests a bit more preciselyGravatar Tej Chajed2017-08-10
* Some more tweaks to contributing guideGravatar Tej Chajed2017-08-10
* Amendments to contributing docGravatar Tej Chajed2017-08-10
* Add a set of contributing guidelinesGravatar Tej Chajed2017-08-10