search

ryankeleti / ega

amateur translation project of Grothendieck's EGA.
https://ryankeleti.com/ega
329 stars 34 forks source link

Create CONTRIBUTING.md #26

Closed thosgood closed 5 years ago

thosgood commented 5 years ago

second half of https://github.com/ryankeleti/ega/pull/25