mirror of
https://github.com/jgm/pandoc.git
synced 2026-10-31 03:01:54 +08:00
Makes the code more consistent and makes it easier to use double quotes in strings, which is the usual quoting style used for HTML attributes. Closes: #7487