mathlib3
fix(*): fix line endings
#1209
Merged

fix(*): fix line endings #1209

mergify merged 2 commits into master from renormalize
fpvandoorn
fpvandoorn fix(*): fix line endings
bbe0e723
fpvandoorn fpvandoorn requested a review 7 years ago
digama0
digama0 approved these changes on 2019-07-10
digama0 digama0 added ready-to-merge
mergify[bot] Merge branch 'master' into renormalize
b255fb68
mergify mergify merged 5aebdc43 into master 7 years ago
mergify mergify deleted the renormalize branch 7 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone