aboutsummaryrefslogtreecommitdiff
path: root/.dir-locals.el
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2019-07-07 16:20:07 +0100
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2019-07-07 16:20:07 +0100
commit468bd2a8c5f3b8d94eddeef641ce90d863b7bebc (patch)
tree538495e8114bcea0a33495d5bf8cabba0f614094 /.dir-locals.el
parent1e4065aef1f2a99a1c31a9b5628b85f059c4b71c (diff)
Using fixed TeX Live repository
Until now, we were letting the TeXLive installer use the default CTAN-chosen mirror based on the host. But in many cases, this is not efficient and sometimes those servers don't work. With this commit, we manually set the server to use (`rit.edu'), which is relatively fast and up to date. In this way, until we build TeXLive from source, every user will be using the same CTAN mirror.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions