projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 09a40b0 8a3a941)
Merge pull request #614 from nico/pooldoc
authorEvan Martin <martine@danga.com>
Mon, 8 Jul 2013 20:53:22 +0000 (13:53 -0700)
committerEvan Martin <martine@danga.com>
Mon, 8 Jul 2013 20:53:22 +0000 (13:53 -0700)
Mention pools in the discussion of ninja's toplevel declarations.


Trivial merge
Domain: System / Base;