diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-06-03 19:47:23 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-06-03 19:47:23 +0100 |
| commit | fc9bdf8d3793ffdb4168ca5c5c7ed97bbd5ab036 (patch) | |
| tree | 1030d3ddc0b18037f07da98ae2dc2969a6b05bc6 /reproduce/analysis/config/delete-me-squared-num.conf | |
| parent | 80e1cb81ac9a020756d82dfaa7007c4146aab64c (diff) | |
Updated .gitattributes to include all files to not merge
Following a test merge, I noticed that the '.gitattributes' file is not
doing anything about the deleted files and also that all the files in
'tex/src/*.txt' should be added (they are too project-specific). So now it
only includes the files that aren't deleted.
For the files that are deleted, in the Maneage 'README-hacking.md' file, I
added an AWK command to easily remove them.
Diffstat (limited to 'reproduce/analysis/config/delete-me-squared-num.conf')
0 files changed, 0 insertions, 0 deletions