diff options
| author | Ben Sima <ben@bsima.me> | 2019-05-07 14:13:10 -0700 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2019-05-07 14:13:10 -0700 |
| commit | 499b29c05b5f0778c425b66f7b4bca121209e371 (patch) | |
| tree | 48367b4e16f929a4d77ecd607cb34f22856ccbb5 /machines | |
| parent | a707681300745ab272c8b89a3a2e2dd56d390b03 (diff) | |
disable texlive (again)
Diffstat (limited to 'machines')
0 files changed, 0 insertions, 0 deletions