diff --git a/.gitignore b/.gitignore index d82e279e012d..ff839c34df1a 100644 --- a/.gitignore +++ b/.gitignore @@ -101,3 +101,4 @@ version.ml version.texi .cargo !src/vendor/** +/src/target/