Skip to content

Handle LaTeX files with non .tex extension#4466

Merged
jlelong merged 4 commits intomasterfrom 4457_extra_extNov 25, 2024