diff options
author | John MacFarlane <jgm@berkeley.edu> | 2016-01-22 10:16:47 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2016-01-22 10:16:47 -0800 |
commit | 20170c328f12fc0214c2c50d14c8f7d03ee05e70 (patch) | |
tree | eba75d165fe6aec92b5bcd5f63ec89b328478b1d /src/Text/Pandoc/Readers/Odt/Base.hs | |
parent | 2a2e3d99d226636166859e63d5259258ba759d5c (diff) | |
download | pandoc-20170c328f12fc0214c2c50d14c8f7d03ee05e70.tar.gz |
Changed type of Shared.uniqueIdent argument from [String] to Set String.
This avoids performance problems in documents with many identically
named headers.
Closes #2671.
Diffstat (limited to 'src/Text/Pandoc/Readers/Odt/Base.hs')
0 files changed, 0 insertions, 0 deletions