diff options
-rwxr-xr-x | Master/texmf/scripts/texlive/tlmgr2.pl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Master/texmf/scripts/texlive/tlmgr2.pl b/Master/texmf/scripts/texlive/tlmgr2.pl index 2b2b2c280c5..3ae0ac4594b 100755 --- a/Master/texmf/scripts/texlive/tlmgr2.pl +++ b/Master/texmf/scripts/texlive/tlmgr2.pl @@ -6,6 +6,8 @@ # or any later version. # # TODO: +# +# MAYBE TODO (needs discussion) # - save the remote texlive.tlpdb and its md5-hash, and before downloading # check only for the md5-hash of the remote tlpdb, and re-download only # if necessary |