Merge 25506bfe57 into f963896e65

Merge pull request #4818 from vicgeentor/patch-1
Update Agda.gitignore to exclude MAlonzo directories in any location
2026-08-30 11:47:22 +02:00 · 2026-04-03 14:26:05 -07:00 · 2026-04-03 14:15:11 -07:00 · 2026-03-18 14:07:30 +01:00
1 changed files with 1 additions and 1 deletions
--- a/Agda.gitignore
+++ b/Agda.gitignore
@ -1,2 +1,2 @@
 *.agdai
-MAlonzo/**
+**/MAlonzo/**
Author	SHA1	Message	Date
Charles A Moonen	080da56788	Merge `25506bfe57` into `f963896e65`	2026-04-03 14:26:05 -07: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
Vic	8431b56bed	include MAlonzo directories in any location	2026-03-18 14:07:30 +01:00
`@ -1,2 +1,2 @@`
	`*.agdai`	`*.agdai`
	`MAlonzo/**`	`/MAlonzo/`