mathlib
808fa8df - chore(.github): remove linebreaks from pull request template (#2378)

Commit

5 years ago

chore(.github): remove linebreaks from pull request template (#2378) github treats a newline in the markdown text as a linebreak.

References

Author

gebner

Parents