idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-11-28 02:23:44 +03:00
Code Issues Projects Releases Wiki Activity
eaa6c8b6d7
Idris2/.github/pull_request_template.md
Thomas E. Hansen 7a41606573 [ admin ] Fix PR template
2022-12-08 11:24:37 +00:00

238 B
Raw Blame History

Should this change go in the CHANGELOG?

  • If this is a user-facing change or a compiler change, I have updated CHANGELOG.md (and potentially also CONTRIBUTORS.md).