diff options
| -rw-r--r-- | src/Text/Pandoc/App.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Text/Pandoc/App.hs b/src/Text/Pandoc/App.hs index 4c4525dce..41b6a310b 100644 --- a/src/Text/Pandoc/App.hs +++ b/src/Text/Pandoc/App.hs @@ -1671,5 +1671,7 @@ deprecatedOption o = Right () -> return () Left e -> E.throwIO e +-- see https://github.com/jgm/pandoc/pull/4083 +-- using generic deriving caused long compilation times $(deriveJSON defaultOptions ''LineEnding) $(deriveJSON defaultOptions ''Opt) |