projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 82e844e 263f5b6)
Merge pull request #741 from nicolasdespres/propagate-file-rename-to-gitignore
authorNico Weber <nicolasweber@gmx.de>
Wed, 16 Apr 2014 17:02:26 +0000 (10:02 -0700)
committerNico Weber <nicolasweber@gmx.de>
Wed, 16 Apr 2014 17:02:26 +0000 (10:02 -0700)
Propagate file rename to gitignore.


Trivial merge
Domain: System / Base;