chore: update .gitignore for modern lake (#40)

leanprover-community · Apr 2, 2024 · 64365c6 · 64365c6
1 parent d7b8365
commit 64365c6
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -1,2 +1,4 @@
 /build
-/lakefile.olean
+/lakefile.olean
+/.lake
+/lake-manifest.json