projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: b121add 2832613)
Merge pull request #714 from pcc/console-pool
authorNico Weber <nicolasweber@gmx.de>
Thu, 17 Apr 2014 18:46:21 +0000 (11:46 -0700)
committerNico Weber <nicolasweber@gmx.de>
Thu, 17 Apr 2014 18:46:21 +0000 (11:46 -0700)
Introduce the "console" pool

1  2 
src/manifest_parser.cc patch | diff1 | diff2 | blob | history

diff --cc src/manifest_parser.cc
Simple merge
Domain: System / Base;