Skip to content

Use parent's font for warning text in preferences#194

Merged
arch1t3cht merged 1 commit intoTypesettingTools:masterfrom 0tkl:0tkl/patchJan 3, 2025

Commits

Commits on Jan 2, 2025