aboutsummaryrefslogtreecommitdiff
path: root/reproduce/config/pipeline
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2018-12-01 01:30:26 +0000
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2018-12-01 21:35:53 +0000
commitccfb8d41ad851432e73a82b486a29707d0faa405 (patch)
tree1be0d5158179069bc9bcc34562bdb2fb2de5493e /reproduce/config/pipeline
parent1a5ad3727bcbe44c8499dbad4837a9d099d2bf80 (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