diff options
| author | Aada | 2024-06-18 17:40:29 +0200 |
|---|---|---|
| committer | Aada | 2024-06-18 17:40:29 +0200 |
| commit | 3c9bbde09487e7cbf99965dd108b413542073fbe (patch) | |
| tree | 96efbca825d2fa1bc29d30ef83ab257f1559bb31 /.gitlab-ci.yml | |
| parent | e20ca3c2e1f765e622e51b3c06a8a8509e2f19e0 (diff) | |
Ignore synctex files
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions