From: Nico Weber <nicolasweber@gmx.de>
Date: Fri, 19 Jun 2015 00:34:37 +0000 (-0700)
Subject: Merge pull request #975 from nico/docs
X-Git-Tag: v1.6.0^2~2
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=2458dc647675215571de173e190671203178743a;p=platform%2Fupstream%2Fninja.git

Merge pull request #975 from nico/docs

Document the change from #921 in the manual.
---

2458dc647675215571de173e190671203178743a