diff --git a/.gitignore b/.gitignore index 1656a6b76b9dd1143114f8c31c76a6f42e9fb9f6..8270cda5101af4e6bd6e3630100c48cda34e08fb 100644 --- a/.gitignore +++ b/.gitignore @@ -4,4 +4,4 @@ script/bin/* *.cmi *.o res_script/* - +*.swp