Merge pull request #710 from jrblevin/issue-572
commit1f709778ac7990f4a07fdf11fe37bc6541810b29
authorShohei YOSHIDA <syohex@gmail.com>
Fri, 3 Jun 2022 03:00:53 +0000 (3 12:00 +0900)
committerGitHub <noreply@github.com>
Fri, 3 Jun 2022 03:00:53 +0000 (3 12:00 +0900)
tree7c6d7dc58ad6805826c8cae8d5909d6bc02ad2a0
parent4477f381de0068a04b55e198c32614793f67b38a
parent8ae552c405529b19919c05a4620aa8c30fded64a
Merge pull request #710 from jrblevin/issue-572

Don't spell check against pandoc references