Merge pull request #690 from nickhutchinson/feature/escape-paths-properly
authorNico Weber <nicolasweber@gmx.de>
Mon, 6 Jan 2014 23:57:33 +0000 (15:57 -0800)
committerNico Weber <nicolasweber@gmx.de>
Mon, 6 Jan 2014 23:57:33 +0000 (15:57 -0800)
More robust escaping of $in, $out paths


Trivial merge