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

---
 backends/lean/.gitignore | 3 ++-
 tests/lean/.gitignore    | 3 ++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/backends/lean/.gitignore b/backends/lean/.gitignore
index 6aef0860..50d5c125 100644
--- a/backends/lean/.gitignore
+++ b/backends/lean/.gitignore
@@ -1,2 +1,3 @@
 lake-packages/
-build/
\ No newline at end of file
+build/
+.lake
\ No newline at end of file
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