diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-08-11 14:47:06 +0200 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-08-11 14:47:06 +0200 |
| commit | af6b0202feb98231cbc5606a96a20d031eda515c (patch) | |
| tree | 08b8bb4fd1ee765c2d354ca081cd47fff4cb6ae8 /.gitignore | |
| parent | e5b66d9daae96d5023ede48fff4fe847ddb8fbfc (diff) | |
Corrected copyright notice correction description in checklist
To be more generic (and avoid listing file names in `README.md'), a command
is now used to find the files where the name has to be added to the
copyright notice. Also, I noticed that `reproduce/src/make/paper.mk' lacked
a placeholder name/email, so one was added.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions