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
ISSUE_TEMPLATE.md
PULL_REQUEST_TEMPLATE.md