Silvan Mosberger 25864ec2b7

Merge pull request #50183 from Infinisil/idris-codeowners ...

.github/CODEOWNERS: Add infinisil to idris-modules

2018-11-14 19:19:55 +01:00

..

CODEOWNERS

Merge pull request #50183 from Infinisil/idris-codeowners

2018-11-14 19:19:55 +01:00

CONTRIBUTING.md

CONTRIBUTING.md: Clarify clarification on periods

2018-10-10 21:06:12 +00:00

ISSUE_TEMPLATE.md

ISSUE_TEMPLATE: replace technical details withh nix-info

2017-11-13 20:44:52 -05:00

PULL_REQUEST_TEMPLATE.md

PULL_REQUEST_TEMPLATE.md: Ask for closure size impact

2018-06-21 18:52:26 +02:00