diff options
| author | JSDurand <mmemmew@gmail.com> | 2022-05-12 11:17:18 +0800 |
|---|---|---|
| committer | JSDurand <mmemmew@gmail.com> | 2022-05-12 11:17:18 +0800 |
| commit | 749d6e68f444fc204b52502cae33b70620306f9a (patch) | |
| tree | 3ed02cde93c00cf6ec9684259c1e876ed1ff54d2 /.gitignore | |
| parent | 98b6120bf21041c3bf10f42c7a882b2a8a32f245 (diff) | |
tex-conf: don't always fill environment.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions