Merge cf6e0a5aaa into 84c6914a9b

Merge pull request #4828 from quantum9Innovation/lean-gitignore
feat: create Lean.gitignore
2026-11-05 17:44:46 +01:00 · 2026-04-04 10:58:32 +09:00 · 2026-04-03 17:05:51 -07:00 · 2026-04-03 20:04:27 -04:00 · 2026-04-03 14:15:11 -07:00 · 2026-03-28 21:42:41 -07:00
3 changed files with 10 additions and 8 deletions
@@ -1,2 +1,2 @@
 *.agdai
-MAlonzo/**
+**/MAlonzo/**
@@ -0,0 +1,2 @@
+# cache and other artifacts produced by Lean's Lake build tool
+.lake/
@@ -176,13 +176,13 @@ acs-*.bib
 *.ind

 # minitoc
-*.maf
-*.mlf
-*.mlt
-*.mtc[0-9]*
-*.slf[0-9]*
-*.slt[0-9]*
-*.stc[0-9]*
+*.maf*([0-9])
+*.mlf*([0-9])
+*.mlt*([0-9])
+*.mtc*([0-9])
+*.slf*([0-9])
+*.slt*([0-9])
+*.stc*([0-9])

 # minted
 _minted*
Author	SHA1	Message	Date
Alex P.	9947d46c32	Merge `cf6e0a5aaa` into `84c6914a9b`	2026-04-04 10:58:32 +09:00
Devin Dooley	84c6914a9b	Merge pull request #4828 from quantum9Innovation/lean-gitignore feat: create Lean.gitignore	2026-04-03 17:05:51 -07:00
Ananth VenkateshandDevin Dooley	5f760225cf	fix: only match on `.lake` directory Co-authored-by: Devin Dooley <dooleydevin@github.com>	2026-04-03 20:04:27 -04:00
Devin Dooley	f963896e65	Merge pull request #4818 from vicgeentor/patch-1 Update Agda.gitignore to exclude MAlonzo directories in any location	2026-04-03 14:15:11 -07:00
Ananth Venkatesh	b9ad512a45	feat: create Lean.gitignore	2026-03-28 21:42:41 -07:00
Vic	8431b56bed	include MAlonzo directories in any location	2026-03-18 14:07:30 +01:00
Alex P.	cf6e0a5aaa	Refine minitoc entries in TeX.gitignore Updated minitoc patterns to include versioning. `TeX.gitignore` now ignores both numbered and non-numbered minitoc files. The changes were made to include: - Numbered `.maf`, `.mlf`, `.mlt`, and `.mtc` files; - Non-numbered `.slf`, `.slt`, and `.stc` files.	2025-11-12 15:32:51 +00:00