aboutsummaryrefslogtreecommitdiff
path: root/CONTRIBUTING.md
AgeCommit message (Expand)Author
2017-09-08Move README.ci and link to it from CONTRIBUTING.Théo Zimmermann
2017-08-29Fix link to debugging file.Théo Zimmermann
2017-08-18Don't belittle the size of the SE communityTej Chajed
2017-08-18Don't mention coq-club at allTej Chajed
2017-08-18Advise contributors to use SE over coq-clubTej Chajed
2017-08-15Never mind, don't mention coqdevTej Chajed
2017-08-15Mention coqdev@Tej Chajed
2017-08-12Also mention Stack ExchangeTej Chajed
2017-08-12Add some things Jason mentionedTej Chajed
2017-08-12Expand PR process explanationTej Chajed
2017-08-12Link to the existing list of tutorialsTej Chajed
2017-08-10Simplify a bit of wordingTej Chajed
2017-08-10Describe pull requests a bit more preciselyTej Chajed
2017-08-10Some more tweaks to contributing guideTej Chajed
2017-08-10Amendments to contributing docTej Chajed
2017-08-10Add a set of contributing guidelinesTej Chajed
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-05 20:48:30 +0000