diff --git a/tools/.gitignore b/tools/.gitignore index 066b0887ae..2e3b89cc26 100644 --- a/tools/.gitignore +++ b/tools/.gitignore @@ -5,4 +5,5 @@ *.loT .libs *.o -permutations +/permutations +/ssd