Add .nra.cache to gitignore

math-comp · Sep 22, 2023 · a13f8a0 · a13f8a0
1 parent 6d279a4
commit a13f8a0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -15,6 +15,7 @@ Make*.coq.conf
 *#
 .lia.cache
 .nia.cache
+.nra.cache
 examples/.csdp.cache
 examples/.nra.cache
 examples/trace