projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 991d5e0 c18b15d)
Merge pull request #461 from riannucci/global_section
authorEvan Martin <martine@danga.com>
Thu, 13 Dec 2012 19:55:35 +0000 (11:55 -0800)
committerEvan Martin <martine@danga.com>
Thu, 13 Dec 2012 19:55:35 +0000 (11:55 -0800)
Resource pools for ninja

1  2 
src/build.h patch | diff1 | diff2 | blob | history

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