From 53aad0bc77a5c3aac5482030f6b5e3dcff1f9f65 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 2 Feb 2024 23:34:10 +0100
Subject: Update the .gitignore files

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

(limited to 'tests/lean/.gitignore')

diff --git a/tests/lean/.gitignore b/tests/lean/.gitignore
index 4d1c5853..071df2d0 100644
--- a/tests/lean/.gitignore
+++ b/tests/lean/.gitignore
@@ -1,2 +1,3 @@
 lake-packages
-build
\ No newline at end of file
+build
+.lake
\ No newline at end of file
-- 
cgit v1.2.3