Merge pull request #4828 from quantum9Innovation/lean-gitignore

dooleydevin · web-flow · commit 84c6914a9b12 · 2026-04-03T17:05:51.000-07:00
feat: create Lean.gitignore
diff --git a/Lean.gitignore b/Lean.gitignore
@@ -0,0 +1,2 @@
+# cache and other artifacts produced by Lean's Lake build tool
+.lake/

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+# cache and other artifacts produced by Lean's Lake build tool`
	`2`	`+.lake/`