diff options
| author | Mario Forzanini <mf@marioforzanini.com> | 2023-10-24 11:44:06 +0200 |
|---|---|---|
| committer | Mario Forzanini <mf@marioforzanini.com> | 2023-10-24 11:44:06 +0200 |
| commit | 0c6901fa91f8e32294d8585e0aa9c24a48707447 (patch) | |
| tree | ac5c538ffe7fc4bc5ecc985709b2c3bf66d748f4 /?id=0c6901fa91f8e32294d8585e0aa9c24a48707447 | |
| parent | b3f8415c1fab7e377be78ab9c3c34fb1c30c2f3c (diff) | |
Switch to monolithic texlive for speed
Diffstat (limited to '?id=0c6901fa91f8e32294d8585e0aa9c24a48707447')
0 files changed, 0 insertions, 0 deletions