From 5b04c0d0475fa8368a361575f7f0084de77ab900 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 7 Dec 2021 17:51:47 +0100
Subject: Update the .gitignore

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

diff --git a/.gitignore b/.gitignore
index eb4a6bf9..db454d3e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -31,4 +31,6 @@ _opam/
 # Misc
 *~
 nohup.out
-.ocamlformat
\ No newline at end of file
+.ocamlformat
+*#
+*.lock
\ No newline at end of file
-- 
cgit v1.2.3