aboutsummaryrefslogtreecommitdiff
path: root/reproduce/config/pipeline
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2018-02-08 01:26:00 +0100
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2018-02-08 01:26:00 +0100
commit81558e2c3f8935d800220dce9ef4866b09de2fd1 (patch)
tree59307c95595142540ba26bf91191e17e3554cdce /reproduce/config/pipeline
parent6a1bc7481b204988b76f974cf37cc8875c8e582d (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/config/pipeline')
0 files changed, 0 insertions, 0 deletions