diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-02-08 01:26:00 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-02-08 01:26:00 +0100 |
| commit | 81558e2c3f8935d800220dce9ef4866b09de2fd1 (patch) | |
| tree | 59307c95595142540ba26bf91191e17e3554cdce /reproduce/src | |
| parent | 6a1bc7481b204988b76f974cf37cc8875c8e582d (diff) | |
Usage of configure command added to README
The README file didn't match the current way to set the top-level
directories (through `./configure'), it was still the old-fashioned way of
manually finding and opening the file. The explanation is now corrected.
Diffstat (limited to 'reproduce/src')
0 files changed, 0 insertions, 0 deletions