#596699 /usr/share/texmf-texlive/scripts/tetex/texdoctk.pl: Texdoctk's Settings window higher than screen

Package:
texlive-base
Source:
texlive-base
Submitter:
Braun Gábor
Date:
2019-08-03 21:24:03 UTC
Severity:
normal