Closed lucasgonze closed 2 months ago
The new home for this information is https://github.com/magma/magma/wiki/Contributor-Guide
The new home for this information is https://github.com/magma/magma/wiki/Contributor-Guide