diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2019-11-14 07:48:19 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2019-11-14 07:48:19 -0800 |
| commit | a60eb60a3dc8bf03ea8ae23fad3f3ebff124a8e1 (patch) | |
| tree | 794393fbace5e858c7b623fef793ad09c88dd0e7 /benchmark/weigh-pandoc.hs | |
| parent | 3645f9babee2954870e54ad8a00f16c7f211c721 (diff) | |
| download | pandoc-a60eb60a3dc8bf03ea8ae23fad3f3ebff124a8e1.tar.gz | |
Allow combining `-Vheader-includes` and `--include-in-header`.
Closes #5904.
Diffstat (limited to 'benchmark/weigh-pandoc.hs')
0 files changed, 0 insertions, 0 deletions