commit 6f885a0aade30b97f909c67dde02c7a669b485da parent 8311280e9792a59929e38c1d1f363ccff831e12b Author: Antoine Amarilli <a3nm@a3nm.net> Date: Wed, 23 Sep 2026 09:09:10 +0200 Merge branch 'master' of a3nm.net:git/myconfig Diffstat:
| gitignore | | | 2 | ++ |
1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/gitignore b/gitignore @@ -12,3 +12,5 @@ *.bbl-SAVE-ERROR *.synctex.gz *.thlist +*.diagnose +*.kaux