History log of /curl/.github/scripts/trimmarkdownheader.pl (Results 1 – 1 of 1)
Revision Date Author Comments
# c8c64c88 22-Aug-2024 Daniel Stenberg

GHA: trim markdown headers before proselinting

Allow interface.md to use more exclamation marks.

Closes #14645