Skip to content

Commit

Permalink
.github/CODEOWNERS: Add infinisil to idris-modules
Browse files Browse the repository at this point in the history
  • Loading branch information
@infinisil
infinisil committed Nov 10, 2018
1 parent 713b0bb commit f37d3a4
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions .github/CODEOWNERS
View file
Original file line number Diff line number Diff line change
Expand Up @@ -117,3 +117,6 @@
# Dhall
/pkgs/development/dhall-modules @Gabriel439 @Profpatsch
/pkgs/development/interpreters/dhall @Gabriel439 @Profpatsch

# Idris
/pkgs/development/idris-modules @Infinisil

0 comments on commit f37d3a4

Please sign in to comment.