[tex-live] texlive/Images/ a bit crowded
denis.bitouze at univ-littoral.fr
Mon Jun 5 10:29:00 CEST 2017
Le 05/06/17 à 10h16, Mojca Miklavec a écrit :
>>> I suppose that texlive2016* will be removed soon. Everything else
>>> makes sense.
>> Yes, that's what I meant.
> It's possible that the mirror doesn't use the --delete flag with
Good to know.
> In that case one should contact the maintainer of the mirror.
More information about the tex-live