github/gitignore
1
1
Fork 0
mirror of https://github.com/github/gitignore.git synced 2026-04-22 03:00:24 -04:00
Code Issues Packages Projects Releases Wiki Activity

fix: only match on .lake directory

Browse Source 
Co-authored-by: Devin Dooley <dooleydevin@github.com>
This commit is contained in:
Ananth Venkatesh
2026-04-03 20:04:27 -04:00
committed by GitHub
parent b9ad512a45
commit 5f760225cf
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
Lean.gitignore
View File

@@ -1,2 +1,2 @@
# cache and other artifacts produced by Lean's Lake build tool
.lake
.lake/