diff --git a/.gitignore b/.gitignore index e7780a7e8..7210bd79f 100644 --- a/.gitignore +++ b/.gitignore @@ -8,6 +8,10 @@ idris2docs_venv *.a *.dll +# Editor/IDE Related +.\#* # Emacs swap file +*~ # Vim swap file + /build /docs/build