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