1 files changed, 2 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index 592ae076..7b7e4e7f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -37,4 +37,5 @@ nohup.out
 .ocamlformat
 *#
 *.lock
-*.txt
-\ No newline at end of file
+*.txt
+*/.#*
+\ No newline at end of file