mathlib3
doc(contribute): add link to doc requirements [ci skip]
#1317
Merged
Overview
Commits
2
Changes
View On GitHub

doc(contribute): add link to doc requirements [ci skip] #1317

robertylewis merged 2 commits into master from robertylewis-patch-1
robertylewis
robertylewis doc(contribute): add link to doc requirements
dc692804
robertylewis robertylewis requested a review 7 years ago
robertylewis Merge branch 'master' into robertylewis-patch-1
7a96ba16
robertylewis robertylewis merged df1fb07d into master 7 years ago
ChrisHughes24 ChrisHughes24 deleted the robertylewis-patch-1 branch 7 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum