diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-22 14:04:38 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-22 14:04:38 +0000 |
| commit | fc909fe92ed69417c7b75581cae5179d451bc46e (patch) | |
| tree | 75f089131e4e90171a3792c1a729879b86492732 /reproduce/src/make/Top-Makefile | |
| parent | 61b6b019374ce541b2b1e66470226de289c60a4b (diff) | |
Placeholder in README.md for pipeline dependencies
A placeholder link is now used in `README.md' to encourage the pipeline
designers to keep a backup of all the dependencies they use.
Diffstat (limited to 'reproduce/src/make/Top-Makefile')
0 files changed, 0 insertions, 0 deletions