diff --git a/.gitignore b/.gitignore index 41ad641380..111f7a88ae 100644 --- a/.gitignore +++ b/.gitignore @@ -3,7 +3,7 @@ # If you find yourself ignoring temporary files generated by your text editor # or operating system, you probably want to add a global ignore instead: # git config --global core.excludesfile ~/.gitignore_global - +tests/files/VMTests/RandomTests/* /tmp */**/*un~ */**/*.test