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)
commit3ae1b847abc5e2b70715c51f80986f6d76a634b8
treed070716e902868a75abd73286ff388d4e3fb227b
parent82e844e2f83f2b891a5860e55fbde48af2761d94
parent263f5b618a8289cab6078beaa7d3dab7abdeefc0
Merge pull request #741 from nicolasdespres/propagate-file-rename-to-gitignore

Propagate file rename to gitignore.