Merge 9aa86b4610 into b4105e73e4

mirror of https://github.com/github/gitignore.git synced 2026-08-30 11:47:22 +02:00
2026-08-30 11:47:22 +02:00 · 2026-03-27 21:24:54 -03:00
3 changed files with 2 additions and 5 deletions
--- a/Agda.gitignore
+++ b/Agda.gitignore
@ -1,2 +1,2 @@
 *.agdai
-**/MAlonzo/**
+MAlonzo/**
--- a/Lean.gitignore
+++ b/Lean.gitignore
@ -1,2 +0,0 @@
 # cache and other artifacts produced by Lean's Lake build tool
 .lake/
--- a/TeX.gitignore
+++ b/TeX.gitignore
@ -76,9 +76,8 @@ acs-*.bib
 *.cut
 # context
 *.tua
 *.tuc
 *.tui
 *.tuo
 # cprotect
 *.cpt
		`@ -1,2 +0,0 @@`
			`# cache and other artifacts produced by Lean's Lake build tool`
			`.lake/`