From: Nico Weber Date: Wed, 16 Apr 2014 17:02:26 +0000 (-0700) Subject: Merge pull request #741 from nicolasdespres/propagate-file-rename-to-gitignore X-Git-Tag: v1.5.0^2~30 X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=3ae1b847abc5e2b70715c51f80986f6d76a634b8;p=platform%2Fupstream%2Fninja.git Merge pull request #741 from nicolasdespres/propagate-file-rename-to-gitignore Propagate file rename to gitignore. --- 3ae1b847abc5e2b70715c51f80986f6d76a634b8