search

gfngfn / satysfi-external-repo

Custom OPAM repository for external libraries of SATySFi
4 stars 4 forks source link

update maintainers #2

Closed nekketsuuu closed 5 years ago

nekketsuuu commented 5 years ago

Currently this external repository is maintained by gfn-san, not by me. So I updated maintainer's names.

Update

gfn-san suggested another solution :)