diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-01-23 16:57:32 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-01-23 16:57:32 +0000 |
| commit | 8362ebf4d4efe5452323de31b11384f5b69e8fbf (patch) | |
| tree | 1923c69f2892719fec22e7f7769c92379ecc01ea /reproduce/src | |
| parent | 464f088506987ab775f6b28687fe8155c006f8ad (diff) | |
README-pipeline.md is now called README-hacking.md
To be more generic and recognizable, the `README-pipeline.md' script was
renamed to `README-hacking.md'. In essence, it is just that: to hack the
existing pipeline for your own project. We follow a similar naming
convention in many GNU software.
Diffstat (limited to 'reproduce/src')
0 files changed, 0 insertions, 0 deletions