diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-25 16:26:29 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-25 16:26:29 +0000 |
| commit | 46f639963cf98d3a380a2577eb0c8f138ea451d5 (patch) | |
| tree | 400b9640f351549158be12388d3409fb1d624a31 /reproduce/src/make/Top-Makefile | |
| parent | 544752fe2d74da658c94e43cfc45506d17c7d1bb (diff) | |
Removed mention of extra input dataset in configure script
While preparing the input dataset downloading scripts, we wanted to have
two input datasets, but it was too much, so it was ultimately removed. But
I had forgot to remove the information about this file in the `./configure'
script. So it is removed now.
Diffstat (limited to 'reproduce/src/make/Top-Makefile')
0 files changed, 0 insertions, 0 deletions