aboutsummaryrefslogtreecommitdiff
path: root/reproduce/src/make/Top-Makefile
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2018-11-22 13:55:38 +0000
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2018-11-22 13:55:38 +0000
commit61b6b019374ce541b2b1e66470226de289c60a4b (patch)
tree35dd31fb72048edeca17dd8e3a16a7424507d9b1 /reproduce/src/make/Top-Makefile
parent69585c325b31c0c2dc2cc7eeab1799efe70e523e (diff)
Top level READMEs renamed to be similar to actual project
Until now, were were advising the users to rename the two README files after cloning the project. This was because online Git browsers usually display the `README.md' file, so we wanted the description of the pipeline to be visible in the pipeline, and later when a project adopts it, they can have their own `README.md'. But the problem is that any change in `REAME.md' will later cause conflicts with a project's `README.md'. So we are now using the same naming convention as the papers that use the pipeline.
Diffstat (limited to 'reproduce/src/make/Top-Makefile')
0 files changed, 0 insertions, 0 deletions