assigned to @deuerlei
added 1 commit
Compare with previous version
added 2 commits
changed title from Fix texlive install to Remove broken pdf export options
mentioned in commit bc81b1b0
merged