diff options
author | Nikolay Yakimov <root@livid.pp.ru> | 2020-06-29 08:35:33 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-28 22:35:33 -0700 |
commit | 11dc9f84f54650037c60917435fd91a90f94f9cf (patch) | |
tree | fc806dea068e685f9f3a6df96202d8fa7e58dc1b /src/Text/Pandoc/Readers/Man.hs | |
parent | a2e0f39df8bbe4da5b6aa0b3d0d597b5b2902c62 (diff) | |
download | pandoc-11dc9f84f54650037c60917435fd91a90f94f9cf.tar.gz |
Remove obsolete RelaxedPolyRec extension (#6487)
Diffstat (limited to 'src/Text/Pandoc/Readers/Man.hs')
0 files changed, 0 insertions, 0 deletions