Skip to content

fix: parse parenthesized Markdown link URLs - #879

Open
nkgotcode wants to merge 1 commit into
leanprover:mainfrom
nkgotcode:fix/markdown-link-parentheses
Open

fix: parse parenthesized Markdown link URLs#879
nkgotcode wants to merge 1 commit into
leanprover:mainfrom
nkgotcode:fix/markdown-link-parentheses

fix: parse parenthesized Markdown link URLs

d3d4cf3
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs