diff --git a/.gitignore b/.gitignore index 75172fb02..8539b081f 100644 --- a/.gitignore +++ b/.gitignore @@ -7,3 +7,4 @@ *.test /*.json /implements +/_results