Skip to content

Add automatic detection update of new patterns in tinytex - #13619

Merged
cderv merged 14 commits into
mainfrom
tinytex/check-pattern-daily
Oct 27, 2025
Merged

cderv merged 14 commits into
mainfrom
tinytex/check-pattern-daily

Commits

  1. Commits on Oct 27, 2025