Skip to content

change default font #189

change default font

change default font #189

Triggered via push November 15, 2024 14:56
Status Success
Total duration 21s
Artifacts
php-code-styling
10s
php-code-styling
Fit to window
Zoom out
Zoom in