Merge pull request #625 from cryspen/franziskus/drop-config-toml

drop config.toml
cryspen · Oct 15, 2024 · e6b2142 · e6b2142
2 parents 9f0de7f + 5305910
commit e6b2142
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/.cargo/config.toml b/.cargo/config.toml
diff --git a/.gitignore b/.gitignore
@@ -11,6 +11,7 @@ proofs/fstar/extraction/.cache
 __pycache__
 kyber-crate/
 *.llbc
+.cargo/
 
 # When using sed
 *.bak