diff options
| author | Mario Forzanini <mf@marioforzanini.com> | 2023-09-13 15:51:39 +0200 |
|---|---|---|
| committer | Mario Forzanini <mf@marioforzanini.com> | 2023-09-13 15:51:39 +0200 |
| commit | f9a5627079008a21c74aeef67e772d31235783ef (patch) | |
| tree | d0b22853f9f9db57c93b1f1ce5e44ec96353e010 /.gitignore?id=f9a5627079008a21c74aeef67e772d31235783ef | |
| parent | c0813d4cba4c7d190f98a6177bc0c886721be7e1 (diff) | |
Ignore tex artifacts
Diffstat (limited to '.gitignore?id=f9a5627079008a21c74aeef67e772d31235783ef')
0 files changed, 0 insertions, 0 deletions