1 files changed, 3 insertions, 1 deletions
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