Merge c56c4c7b58 into f963896e65

Merge pull request #4818 from vicgeentor/patch-1
Update Agda.gitignore to exclude MAlonzo directories in any location
2026-11-09 11:30:41 +01:00 · 2026-04-03 21:36:40 +00: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
@@ -1,2 +1,2 @@
 *.agdai
-MAlonzo/**
+**/MAlonzo/**
Author	SHA1	Message	Date
sker	8e0e57a77e	Merge `c56c4c7b58` into `f963896e65`	2026-04-03 21:36:40 +00: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/`