From 9a451e52a425e598d0ee910ffbd6e16fb130e1d2 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 19 Jan 2022 01:58:02 +0100
Subject: Update the .gitignore

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

(limited to '.gitignore')

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