diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-12-05 11:35:53 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-12-05 11:35:53 +0000 |
| commit | 3ddbaa75483f0fc14ad2840f6aa1478ad2c1b902 (patch) | |
| tree | 5d4919279a3c830a0a96ccf37380d2482e696aca /tex | |
| parent | 109d8ec7be460ef0fd708ebd118e45edeb445256 (diff) | |
Corrected comment on downloader in configure script
The comment above the downloader section of the configure script was not up
to date with how the pipeline uses a downloader during configuration and
building now. So it was updated.
Diffstat (limited to 'tex')
0 files changed, 0 insertions, 0 deletions