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/MediaWiki.hs | |
parent | a2e0f39df8bbe4da5b6aa0b3d0d597b5b2902c62 (diff) | |
download | pandoc-11dc9f84f54650037c60917435fd91a90f94f9cf.tar.gz |
Remove obsolete RelaxedPolyRec extension (#6487)
Diffstat (limited to 'src/Text/Pandoc/Readers/MediaWiki.hs')
-rw-r--r-- | src/Text/Pandoc/Readers/MediaWiki.hs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/Text/Pandoc/Readers/MediaWiki.hs b/src/Text/Pandoc/Readers/MediaWiki.hs index 27c8a6069..bcf1228ad 100644 --- a/src/Text/Pandoc/Readers/MediaWiki.hs +++ b/src/Text/Pandoc/Readers/MediaWiki.hs @@ -1,6 +1,4 @@ {-# LANGUAGE OverloadedStrings #-} -{-# LANGUAGE RelaxedPolyRec #-} --- RelaxedPolyRec needed for inlinesBetween on GHC < 7 {- | Module : Text.Pandoc.Readers.MediaWiki Copyright : Copyright (C) 2012-2020 John MacFarlane |