diff options
| author | David A Roberts <d@vidr.cc> | 2017-05-02 17:00:37 +1000 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2017-05-02 09:00:37 +0200 |
| commit | c0192132cfbe2bc7ee22519b556cf9dbf52bac47 (patch) | |
| tree | 521d1fd81f7f0db141d67f46336a3bb649038d90 /src/Text/Pandoc/Readers/MediaWiki.hs | |
| parent | 5d529e30c7690146e7f082e0baa616b68da3e594 (diff) | |
| download | pandoc-c0192132cfbe2bc7ee22519b556cf9dbf52bac47.tar.gz | |
Markdown writer: Case-insensitive reference links. (#3616)
Ensure that we do not generate reference links
whose labels differ only by case.
Also allow implicit reference links when the link
text and label are identical up to case.
Closes #3615.
Diffstat (limited to 'src/Text/Pandoc/Readers/MediaWiki.hs')
0 files changed, 0 insertions, 0 deletions