++gitignore

math-comp · Jun 7, 2024 · 536e44a · 536e44a
1 parent 22af404
commit 536e44a
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -1,3 +1,5 @@
-*.vo
+*.vo*
 *.glob
 *.v.d
+*~
+*.aux