martine/ninja — pull request #741 by nicolasdespres (2014-04-16 06:27:34+00:00)
Title: Propagate file rename to gitignore.

This was introduced by 68a4bb27d1a747b240ea68cd320a51dbd261ed14.