removed incomplete schemes-10 from schemes-9

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

sorry for all the PRs today, but just checking that this rebasing is all working ok