diff options
author | John MacFarlane <jgm@berkeley.edu> | 2019-10-09 12:44:09 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2019-10-09 12:44:09 -0700 |
commit | 83702404af948ca7b36d2e0f11eb912997fa5800 (patch) | |
tree | 0d45e27e5287dc111909b1033e59cd5e0e160c3a /src/Text/Pandoc/App/Opt.hs | |
parent | 5419988f225d1debcf9735f5de75a269db143bba (diff) | |
download | pandoc-83702404af948ca7b36d2e0f11eb912997fa5800.tar.gz |
Initial implementation of --defaults option.
Need documentation.
Diffstat (limited to 'src/Text/Pandoc/App/Opt.hs')
-rw-r--r-- | src/Text/Pandoc/App/Opt.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Text/Pandoc/App/Opt.hs b/src/Text/Pandoc/App/Opt.hs index 3e90ec0d3..09086659d 100644 --- a/src/Text/Pandoc/App/Opt.hs +++ b/src/Text/Pandoc/App/Opt.hs @@ -184,7 +184,7 @@ defaultOpts = Opt , optResourcePath = ["."] , optRequestHeaders = [] , optEol = Native - , optStripComments = False + , optStripComments = False } -- see https://github.com/jgm/pandoc/pull/4083 |