diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-02-08 02:28:08 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-02-08 02:28:08 +0100 |
| commit | 65d9e1b9d1a6582fbf90f83d39a629ef25cee2b1 (patch) | |
| tree | 7f48dde9a2c205114c3edd79f5308efcb35a9d93 /reproduce/src/make | |
| parent | 81558e2c3f8935d800220dce9ef4866b09de2fd1 (diff) | |
Instructions to delete README.md before starting
`README.md' is for this pipeline, not the research project that is using
it. Therefore it might be confused with the `README' that is devoted to the
research project. So in the checklist, a point was added to delete this
file before making the first new commit.
Diffstat (limited to 'reproduce/src/make')
0 files changed, 0 insertions, 0 deletions