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