diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2019-02-02 12:35:27 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2019-02-02 12:35:27 -0800 |
| commit | cb1ede5b085e1372e400f1ff3b0d52ff684f6db7 (patch) | |
| tree | b3232beef80156d0b4e466c70f80cbe6f9713a24 /src/Text/Pandoc/Writers/HTML.hs | |
| parent | 737c0a684eaa03774b862ddcaf8c1ad7ef147571 (diff) | |
| download | pandoc-cb1ede5b085e1372e400f1ff3b0d52ff684f6db7.tar.gz | |
PDF: More conservative solution to #777.
Now, instead of always creating temp dirs in the home
directory on Windows, we only do it if the system tempdir
name contains tildes. (This will be the case for longer
usernames only.)
Closes #1192.
Diffstat (limited to 'src/Text/Pandoc/Writers/HTML.hs')
0 files changed, 0 insertions, 0 deletions