diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-12-01 01:30:26 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-12-01 21:35:53 +0000 |
| commit | ccfb8d41ad851432e73a82b486a29707d0faa405 (patch) | |
| tree | 1be0d5158179069bc9bcc34562bdb2fb2de5493e /reproduce/config/pipeline | |
| parent | 1a5ad3727bcbe44c8499dbad4837a9d099d2bf80 (diff) | |
Improved TeXLive installation checks
Thanks to the check by Cristina MartÃnez, some corrections were made when
we attempt to download and install TeXLive. Further checks and corrections
will be in due time.
Diffstat (limited to 'reproduce/config/pipeline')
0 files changed, 0 insertions, 0 deletions