diff options
| author | Vladimír Čunát <vcunat@gmail.com> | 2017-12-15 20:10:18 +0100 |
|---|---|---|
| committer | Vladimír Čunát <vcunat@gmail.com> | 2017-12-15 20:13:09 +0100 |
| commit | 1b555c57eced64d3f76a3561d2d30407c6a9ce3c (patch) | |
| tree | c938c809f453c87f6349eb92fa0707b442fdacf8 /pkgs/development/python-modules/httpserver | |
| parent | 5687f61b1984edc13e9a6427d9185747e7a540d4 (diff) | |
texlive: more robust way to fetch
/cc #30332. Thanks to @vprbl for the http mirror.
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions