chore: remove vestigial file scripts/test.lean (#1148)

leanprover-community · Mar 8, 2025 · f2fb980 · f2fb980
1 parent cce0137
commit f2fb980
Showing 1 changed file with 0 additions and 62 deletions.
diff --git a/scripts/test.lean b/scripts/test.lean