mirror of
https://github.com/jgm/pandoc.git
synced 2026-08-25 01:36:45 +00:00
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.