On Sunday, 3 March 2013 at 11:00:52 UTC, Sönke Ludwig wrote:Mini thing: Redirect.none is not documentedOk, thanks!
I ended up simply removing it. There is no point in calling pipeProcess without any redirection at all.
Lars
On Sunday, 3 March 2013 at 11:00:52 UTC, Sönke Ludwig wrote:Mini thing: Redirect.none is not documentedOk, thanks!
I ended up simply removing it. There is no point in calling pipeProcess without any redirection at all.
Lars