diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-11-30 14:38:02 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-11-30 14:38:02 +0000 |
| commit | 5170de51f7c09dfdee1db22f79f76ef6c60bb30f (patch) | |
| tree | d9805b007e2fc1b5bbe361719ca2547dbf2c44da /reproduce/software/make | |
| parent | a0b1cb2830aa50ed93a64ebcb0d4d4ca45c0992e (diff) | |
Minor edit in paragraph on execution time
The paragraph was slightly shortened, while keeping the main points.
Diffstat (limited to 'reproduce/software/make')
0 files changed, 0 insertions, 0 deletions