search

ryankeleti / ega

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

small ega2-2 update; ega4-20 #173

Closed thosgood closed 3 years ago

thosgood commented 3 years ago

just checking that i still remember how to use git