search

ryankeleti / ega

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

example tag doesn't exist #126

Closed thosgood closed 4 years ago

thosgood commented 4 years ago

the example links at https://ega.fppf.site/api point to a tag that doesn't seem to exist

ryankeleti commented 4 years ago

fixed