commit | 6c379a34948240617efcc0a8a4904208d5c999a3 | [log] [tgz] |
---|---|---|
author | Nico Weber <nicolasweber@gmx.de> | Wed Apr 04 20:47:38 2018 -0400 |
committer | GitHub <noreply@github.com> | Wed Apr 04 20:47:38 2018 -0400 |
tree | 2ae5b1875ca302b98979b26817394454d7560aba | |
parent | e234a7bdb6c42f4539c0ab09b624f191287c2c10 [diff] | |
parent | 85fab32362e2afe3c58dde00ca36676c9e29a9a6 [diff] |
Merge pull request #1388 from karkhaz/kk-add-pool-to-build Support pool for Writer.build() in ninja_syntax.py