diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-01-01 15:01:04 +0000 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-01-01 15:01:04 +0000 |
commit | 3d8e3fc072525f0b811a8b104a944cc6fbf76c1c (patch) | |
tree | 32dc4caf297a9a930f0215ef3ea8416d2e13ef7b /reproduce/software/make/high-level.mk | |
parent | d8b85fe8dc48fafe87b482ae36eb388a33c806f0 (diff) |
README-hacking.md checklist now also ignores changes in paper.tex
In the previous commit, we added the files to ignore from the template
branch, but only the files that had been deleted. With this commit,
`paper.tex' is also added to the files that must be ignored from the
template branch (the file remains in the project, but in the template
branch, its contents are just dummy place-holders).
Diffstat (limited to 'reproduce/software/make/high-level.mk')
0 files changed, 0 insertions, 0 deletions