search

pep-dortmund / toolbox-workshop

Materialien zum PeP et al. Toolbox-Workshop
http://toolbox.pep-dortmund.org
Other
26 stars 6 forks source link

Update TeX-Live to 2022 #293

Closed maxnoe closed 2 years ago

chrbeckm commented 2 years ago

still approved