diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-05-01 22:37:32 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-05-01 22:37:32 +0100 |
commit | 7fee88631998449ba9572dc491e4401189bdedfe (patch) | |
tree | 912c96fa8ddb866f0f4181dcd80066dd8dd3f127 /reproduce | |
parent | df878cc2dc80ea09e09617949869ab7044d3c3c3 (diff) |
Added a .gitattributes file to avoid merging some files
As explained in the new `README-hacking.md', this files greatly helps in
avoiding un-necessary conflicts.
Diffstat (limited to 'reproduce')
0 files changed, 0 insertions, 0 deletions