Merge 776eef4589 into b4105e73e4

2026-08-30 11:47:22 +02:00 · 2026-02-13 16:41:01 +00:00
2 changed files with 1 additions and 3 deletions
--- a/Agda.gitignore
+++ b/Agda.gitignore
@ -10,4 +10,4 @@ data
 .env.production.local

 *.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/