Skip to content

change: make table headers bold by default#1513

Merged
ClementTsang merged 2 commits intomainfrom default_bold_headersJul 31, 2024