fix: parse parenthesized Markdown link URLs - #879

fix: parse parenthesized Markdown link URLs#879

nkgotcode wants to merge 1 commit into

leanprover:mainleanprover/verso:mainfrom

nkgotcode:fix/markdown-link-parenthesesnkgotcode/verso:fix/markdown-link-parenthesesCopy head branch name to clipboard