| Commit message (Collapse) | Author | Age |
|
|
|
|
| |
This follows the suggestions given by the FSF for GPL licensed software.
<https://www.gnu.org/prep/maintain/html_node/Copyright-Notices.html>
|
| |
|
|
|
|
|
|
|
|
|
|
|
| |
Signature of pipeProcess has changed: the return value is
now IO (ExitCode, ByteString) -- with only stdout. Stderr
is just inherited from the parent.
This means that stderr from filters will now be streamed
as the filters are run.
Closes #2729.
|
| |
|
|
|
|
| |
This reverts commit c423dbb5a34c2d1195020e0f0ca3aae883d0749b.
|
|
|
|
|
|
|
| |
This is needed for ghci to work with pandoc, given that we
now use a custom prelude.
Closes #2503.
|
| |
|
|
|
|
| |
Replace fullstop with comma, adjust capitalisation.
|
| |
|
|
A souped up version of readProcessWithErrorCode that uses lazy bytestrings
and allows setting environment.
|