Merge pull request #1052 from ninja-build/docs
authorNico Weber <nicolasweber@gmx.de>
Tue, 17 Nov 2015 22:20:12 +0000 (14:20 -0800)
committerNico Weber <nicolasweber@gmx.de>
Tue, 17 Nov 2015 22:20:12 +0000 (14:20 -0800)
commit5c2a60e1c719d08a98d5a4adbf2e3c2efafa660d
tree25554957288598475b7cd17071b94545202fd20f
parent207ff58e44294a8ce7df044b9b01f96799a972ac
parent847089f959efbe142e2ae8f51915b3b43e018224
Merge pull request #1052 from ninja-build/docs

Minor doc fixes