summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.gitignore3
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