diff options
author | Nico Weber <nicolasweber@gmx.de> | 2014-04-17 18:46:21 (GMT) |
---|---|---|
committer | Nico Weber <nicolasweber@gmx.de> | 2014-04-17 18:46:21 (GMT) |
commit | 8fe13f5dabfc5e1581d2fc82fd7f535bdd70ce0c (patch) | |
tree | 6f1a3ff6f3c11ae3959c1fabffc68d4775bf90f3 /src/util.h | |
parent | b121addcb6ac4a0e826b0c4270de9974222876ad (diff) | |
parent | 2832613dc7c1a4a8ff3b9df729954715762a8381 (diff) | |
download | Ninja-8fe13f5dabfc5e1581d2fc82fd7f535bdd70ce0c.zip Ninja-8fe13f5dabfc5e1581d2fc82fd7f535bdd70ce0c.tar.gz Ninja-8fe13f5dabfc5e1581d2fc82fd7f535bdd70ce0c.tar.bz2 |
Merge pull request #714 from pcc/console-pool
Introduce the "console" pool
Diffstat (limited to 'src/util.h')
0 files changed, 0 insertions, 0 deletions