diff --git a/.gitignore b/.gitignore index 16802d82..a5ab304b 100644 --- a/.gitignore +++ b/.gitignore @@ -11,6 +11,7 @@ proofs/fstar/extraction/.cache __pycache__ kyber-crate/ *.llbc +.cargo/ # When using sed *.bak