diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2017-12-28 10:01:09 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2017-12-28 10:23:09 -0800 |
| commit | ddd6a892470181b321ac2f80ffb76809f15419c8 (patch) | |
| tree | 9fea29363093361139f81ba49ba9108323f74b79 /tools | |
| parent | 999dd2a2393d750c96091e0d0aaf75cbb8e5e4df (diff) | |
| download | pandoc-ddd6a892470181b321ac2f80ffb76809f15419c8.tar.gz | |
Text.Pandoc.Class: add insertInFileTree (API change).
This gives a pure way to insert an ersatz file into a FileTree.
In addition, we normalize paths both on insertion and on
lookup, so that "foo" and "./foo" will be judged equivalent.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions