diff options
author | Nico Weber <nicolasweber@gmx.de> | 2014-04-16 17:02:26 (GMT) |
---|---|---|
committer | Nico Weber <nicolasweber@gmx.de> | 2014-04-16 17:02:26 (GMT) |
commit | 3ae1b847abc5e2b70715c51f80986f6d76a634b8 (patch) | |
tree | d070716e902868a75abd73286ff388d4e3fb227b /src | |
parent | 82e844e2f83f2b891a5860e55fbde48af2761d94 (diff) | |
parent | 263f5b618a8289cab6078beaa7d3dab7abdeefc0 (diff) | |
download | Ninja-3ae1b847abc5e2b70715c51f80986f6d76a634b8.zip Ninja-3ae1b847abc5e2b70715c51f80986f6d76a634b8.tar.gz Ninja-3ae1b847abc5e2b70715c51f80986f6d76a634b8.tar.bz2 |
Merge pull request #741 from nicolasdespres/propagate-file-rename-to-gitignore
Propagate file rename to gitignore.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions