diff --git a/.gitignore b/.gitignore index 76327624..65edb30d 100644 --- a/.gitignore +++ b/.gitignore @@ -4,3 +4,5 @@ boot.exe .merlin boot.ml *.corrected +*.swp +*.swo