diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-05-02 20:38:30 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-05-02 20:44:29 +0100 |
| commit | 0d066c9ff707a78c2ef41b59b713b71d10fdbc75 (patch) | |
| tree | c2383c3b8c0c3c7172084e85afd211d7002748bc /reproduce/software/bash/git-post-checkout | |
| parent | 8a4d6d223b555a0a1660feeb23db070b10feec4d (diff) | |
Updated to TeXLive 2019
Since we just download the binary source of TeXLive, we need to keep it up
to date with the server. So it has been incremented to 2019 (TeXLive 2019
was released April 29th).
A note was also added in the Checklist to keep the users informed on how to
update TeXLive if necessary.
Diffstat (limited to 'reproduce/software/bash/git-post-checkout')
0 files changed, 0 insertions, 0 deletions