Merge pull request #777 from nico/winconf
authorNico Weber <nicolasweber@gmx.de>
Sun, 15 Jun 2014 05:47:27 +0000 (22:47 -0700)
committerNico Weber <nicolasweber@gmx.de>
Sun, 15 Jun 2014 05:47:27 +0000 (22:47 -0700)
create a slightly nicer build.ninja on windows


Trivial merge