From a2a40e7f39990f9d777e91d4b2f3957f5e70d685 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 26 Jan 2022 22:48:50 +0100
Subject: Update the .gitignore

---
 .gitignore | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to '.gitignore')

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
-- 
cgit v1.2.3