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)
commitd9f50f48ae7e8a223a58c3fbb90fc4a54e426b09
tree31a59dbb7f72789f73d35ef4970fc70b4249c72a
parent09a40b0f99a3d3a822bec6f43a5dd7e448a49a26
parent8a3a941ef6b08f53f057ef50f17893cbf27e2095
Merge pull request #614 from nico/pooldoc

Mention pools in the discussion of ninja's toplevel declarations.