diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-02-06 09:24:43 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-02-06 09:24:43 +0100 |
commit | 79ec93bc2c6f9868e20ba081489f5e74ced58d9e (patch) | |
tree | da8217543e5464a6f01df3c561c23a4c463f6469 /reproduce/software/make | |
parent | c9383127fae0acb87f900a8832b820cb46bc589b (diff) |
Minor edits to various parts
Some edits were made after rereading of some parts.
Diffstat (limited to 'reproduce/software/make')
0 files changed, 0 insertions, 0 deletions