Thanks to visit codestin.com
Credit goes to github.com

Skip to content
PR Greetings

Add "sans" alias to rc() to allow users to set font.sans-serif #23745

Sign in to view logs

Add "sans" alias to rc() to allow users to set font.sans-serif

Add "sans" alias to rc() to allow users to set font.sans-serif #23745

Triggered via pull request May 10, 2025 01:16
@fountafounta
synchronize #30030
Status Success
Total duration 25s
Artifacts –

pr_welcome.yml

on: pull_request_target
greeting
17s
greeting
Fit to window
Zoom out
Zoom in