Merge c56c4c7b58 into b4105e73e4

2026-08-30 11:47:22 +02:00 · 2026-03-29 23:17:21 +02:00
1 changed files with 1 additions and 1 deletions
--- a/Agda.gitignore
+++ b/Agda.gitignore
@ -1,2 +1,2 @@
 *.agdai
-**/MAlonzo/**
+MAlonzo/**