commit f5cc4d3d9c5b1c9ec7e0acf503a6c9a1384b7ac1 parent 38c0b8533a6dc29fdb07f2f2e48d165789520d9b Auteur: Loïc Daignault-Pichette <loic@asteride.xyz> Date: Mon, 29 Sep 2025 10:06:22 -0400 [inf] Mettre à jour le .gitignore Diffstat:
| M | .gitignore | | | 2 | ++ |
1 fichier modifié, 2 insertions(+), 0 suppressions(-)
diff --git a/.gitignore b/.gitignore @@ -1,2 +1,4 @@ *.err *.fst +*.att +*.ext