mirror of
https://github.com/jgm/pandoc.git
synced 2026-10-03 12:48:02 +00:00
This seems to be necessary if we are to use our custom Prelude with ghci. Closes #4464.
This seems to be necessary if we are to use our custom Prelude with ghci. Closes #4464.