Created shDer and shAut command for the web version

ryankeleti / ega

amateur translation project of Grothendieck's EGA.

https://ryankeleti.com/ega

317 stars 33 forks source link

Closed solov-t closed 4 years ago

solov-t commented 4 years ago

Maybe this has something to do with why Tim's commit is taking so long to compile on the web version!