ignore .cargo

cryspen · Oct 12, 2024 · 5305910 · 5305910
1 parent 81879be
commit 5305910
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -11,6 +11,7 @@ proofs/fstar/extraction/.cache
 __pycache__
 kyber-crate/
 *.llbc
+.cargo/
 
 # When using sed
 *.bak