| commit | d819d8448813306e25ed95535c558952eeca278e | [log] [tgz] |
|---|---|---|
| author | gwenn <gtreguier@gmail.com> | Sat Sep 15 20:59:14 2018 +0200 |
| committer | GitHub <noreply@github.com> | Sat Sep 15 20:59:14 2018 +0200 |
| tree | a1a35a1d19df75065aadbcb771f64835e362a6f8 | |
| parent | 8944c16c38553d26b46d270b33676db96b0b8ded [diff] | |
| parent | 6b8e70f763fe00b3fc4ee11a52bb12bdd01d1020 [diff] |
Merge pull request #152 from eminence/custom_output_stream Allow customization of the output stream