diff options
| author | Ingo Blechschmidt <iblech@web.de> | 2018-10-21 16:11:24 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-21 16:11:24 +0200 |
| commit | c9ad86390fe5519e97a0b0f26b01de1bbddcba41 (patch) | |
| tree | 1a7174a3480a080fccea1b80bdeb10371acc2f30 /tex | |
| parent | 24fbb3b7aca8dd5b957397a046d3cb71a00b324c (diff) | |
Use https instead of http for improved security
Diffstat (limited to 'tex')
0 files changed, 0 insertions, 0 deletions