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