Merge f7295a0c69 into b4105e73e4

2026-11-05 17:44:46 +01:00 · 2026-02-13 21:59:57 +00:00
2 changed files with 1 additions and 3 deletions
@@ -1,2 +1,2 @@
 *.agdai
-**/MAlonzo/**
+MAlonzo/**
@@ -1,2 +0,0 @@
-# cache and other artifacts produced by Lean's Lake build tool
-.lake/