mirror of
https://github.com/ilyakooo0/Idris-dev.git
synced 2024-09-19 04:57:24 +03:00
Update CONTRIBUTORS
This commit is contained in:
parent
14cf196d97
commit
5f89889be4
@ -15,6 +15,7 @@ Jason Dagit
|
|||||||
Guglielmo Fachini
|
Guglielmo Fachini
|
||||||
Simon Fowler
|
Simon Fowler
|
||||||
Google
|
Google
|
||||||
|
Zack Grannan
|
||||||
Cezar Ionescu
|
Cezar Ionescu
|
||||||
Heath Johns
|
Heath Johns
|
||||||
Irene Knapp
|
Irene Knapp
|
||||||
|
Loading…
Reference in New Issue
Block a user