mathlib
0e4f8f41 - chore(scripts): typo in yaml_check (#4881)

Commit

5 years ago

chore(scripts): typo in yaml_check (#4881)

References

#4925 - Make prime-avoidance branch build

Author

hrmacbeth

hrmacbeth

Parents

Loading