From 28f73341394b0bd650dfd05e8585158fc033a42c Mon Sep 17 00:00:00 2001
From: tydeu <tydeu@hatpress.net>
Date: Tue, 1 Aug 2023 21:02:07 -0400
Subject: [PATCH] chore: .gitignore fixes

---
 .gitignore          | 3 ++-
 src/lake/.gitignore | 2 --
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/.gitignore b/.gitignore
index 815d256cec..fb329586a3 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,6 +3,7 @@
 .#*
 *.lock
 build
+!/src/lake/Lake/Build
 GPATH
 GRTAGS
 GSYMS
@@ -25,4 +26,4 @@ fwIn.txt
 fwOut.txt
 wdErr.txt
 wdIn.txt
-wdOut.txt
\ No newline at end of file
+wdOut.txt
diff --git a/src/lake/.gitignore b/src/lake/.gitignore
index 59ebc302c5..db78fe886e 100644
--- a/src/lake/.gitignore
+++ b/src/lake/.gitignore
@@ -1,5 +1,3 @@
 /build
 produced.out
 result*
-# Do not commit the flake lockfile to avoid having to maintain it
-flake.lock