Skip to content
Push Notification

Move full list of extra_paired_delimiters characters to a better location #12665

Sign in to view logs

Move full list of extra_paired_delimiters characters to a better location

Move full list of extra_paired_delimiters characters to a better location #12665

Triggered via pull request April 25, 2024 18:19
@leonerdleonerd
opened #22174
leonerd:move-docs-extra-paired-delimiters
Status Success
Total duration 19s
Artifacts –

irc-notifications.yaml

on: pull_request
notify-irc
10s
notify-irc
Fit to window
Zoom out
Zoom in