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 /%25253fid%25253dca9a48d5d912ffa34cfc12617de897aa7ac59769%253fid%253de39ec6ce01215fa84cdbd39885cc7034f5415a85%3fid%3d0c6901fa91f8e32294d8585e0aa9c24a48707447?id=0c6901fa91f8e32294d8585e0aa9c24a48707447 | |
| parent | b3f8415c1fab7e377be78ab9c3c34fb1c30c2f3c (diff) | |
Switch to monolithic texlive for speed
Diffstat (limited to '%25253fid%25253dca9a48d5d912ffa34cfc12617de897aa7ac59769%253fid%253de39ec6ce01215fa84cdbd39885cc7034f5415a85%3fid%3d0c6901fa91f8e32294d8585e0aa9c24a48707447?id=0c6901fa91f8e32294d8585e0aa9c24a48707447')
0 files changed, 0 insertions, 0 deletions