commit | f69fa3a3d411ce57be62317791876e8b373ef10f | [log] [tgz] |
---|---|---|
author | Emmanuele Bassi <ebassi@gmail.com> | Thu Oct 04 19:25:57 2018 +0200 |
committer | GitHub <noreply@github.com> | Thu Oct 04 19:25:57 2018 +0200 |
tree | 04b9dcf38c78522d0cdd9ca8121bbc422185fb37 | |
parent | e97162bad53aa6cedef9946ca9f64f5627087be4 [diff] | |
parent | 9304c4a9c1a033f9d8ee1c7aba874c956ec1bbf3 [diff] |
Merge pull request #189 from jbicha/gitignore-patch gitignore: Don't ignore .patch files