build: use working texlive mirror #37

Merged
steveej merged 1 commit from fix-build into static-code-analysis-kernel-task-memory-safety 2017-07-06 10:27:11 +00:00

1 commit

Author SHA1 Message Date
2f6bcb19b8 build: use working texlive mirror 2017-07-06 12:24:05 +02:00