3 commits

Author	SHA1	Message	Date
Kim Morrison	40efbb9b7a	doc: commit conventions and Mathlib CI (#6605) ... This PR updates the commit conventions documentation to describe the new changelog conventions, and adds brief documentation of integrated Mathlib CI, with a link for further explanation.	2025-01-13 02:29:46 +00:00
Joachim Breitner	fbefbce8c7	doc: Adjust contributor's docs to squash merging (#2927) ... Co-authored-by: Sebastian Ullrich <sebasti@nullri.ch>	2023-11-21 10:13:43 +00:00
Chris Lovett	3a20b6be8a	doc: add wsl setup docs and reorganize a new "dev" folder	2021-09-23 09:21:39 +02:00

Renamed from doc/commit_convention.md (Browse further)