diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-04-15 14:32:51 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-04-15 14:32:51 +0100 |
| commit | 49c7f49c344b28afe70c6df15cf400b395bb7e93 (patch) | |
| tree | db9422c5ba4f9d43e5b34815554145cf23cdbb32 /reproduce/analysis/make/paper.mk | |
| parent | d8512aa92398b0f4f2dc03a6695f7ab07d34f011 (diff) | |
Correction in customization checklist
Until now, the customization checklist of `README-hacking.md' had the same
name for the base template's remote and branch. This was confusing and
would cause Git to print a warning.
With this commit, like before, the template's remote is now called
`template-origin', and `template' is only the branch name.
Diffstat (limited to 'reproduce/analysis/make/paper.mk')
0 files changed, 0 insertions, 0 deletions