Skip to content

Add missing texlive packages for Sphinx#13

Merged
jchodera merged 1 commit intoomnia-md:texlive18from
Lnaden:texlive18
Oct 19, 2018
Merged

Add missing texlive packages for Sphinx#13
jchodera merged 1 commit intoomnia-md:texlive18from
Lnaden:texlive18

Commits

Commits on Oct 19, 2018