references in what - Githubissues

ryankeleti / ega

amateur translation project of Grothendieck's EGA.

https://ryankeleti.com/ega

329 stars 34 forks source link

Closed thosgood closed 5 years ago

thosgood commented 5 years ago

should we take the references out of what.tex? none are cited in it

ryankeleti commented 5 years ago

fixed 17bf1721b09f7c4171a3939ebb0362d28113bae7