diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-03-14 13:21:41 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-03-14 13:21:41 +0100 |
| commit | 008e764952e0281b7cda0ea8118d97dc32c1d80d (patch) | |
| tree | 0e6cb5cfe9bad7bc44c9874269d604c083693a93 /reproduce/src/make/Top-Makefile | |
| parent | 19901f81992e2867b8fe2893f498b0d5f7b9770c (diff) | |
Added future plans (and Nix/Guix usage) in README.md
A section was added to `README.md' for describing possible future steps
that we can take to make this pipeline even more robust. In it, I added a
first interesting thing that I think would be really exciting to add, but I
don't have time to do now.
Diffstat (limited to 'reproduce/src/make/Top-Makefile')
0 files changed, 0 insertions, 0 deletions