aboutsummaryrefslogtreecommitdiff
path: root/src/Text/Pandoc/Filter
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2018-11-11 11:02:04 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2018-11-11 11:04:34 -0800
commitca17ae52465e0194b97d38b9a065a8186cb23a6d (patch)
treedf751ea46d385fb58d88bc5e6336f1c04aea993b /src/Text/Pandoc/Filter
parent6b4b7a4ba3fc07036185c08c1f3cc8c3ca30c456 (diff)
downloadpandoc-ca17ae52465e0194b97d38b9a065a8186cb23a6d.tar.gz
Remove `ascii_identifiers` from `githubMarkdownExtensions`.
GitHub doesn't seem to strip non-ascii characters.
Diffstat (limited to 'src/Text/Pandoc/Filter')
0 files changed, 0 insertions, 0 deletions