From 536e44ae3d2c169718f1bfa292f94d0bc88311a1 Mon Sep 17 00:00:00 2001 From: Quentin Vermande Date: Fri, 7 Jun 2024 17:16:21 +0200 Subject: [PATCH] ++gitignore --- .gitignore | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index d3083b3..198c468 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,5 @@ -*.vo +*.vo* *.glob *.v.d +*~ +*.aux