chore: switch to Lakefile.toml

leanprover-community · Jul 1, 2024 · ca6660a · ca6660a
1 parent 7df77c0
commit ca6660a
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 26 deletions.
diff --git a/lakefile.lean b/lakefile.lean
diff --git a/test/Mathlib/lakefile.lean b/test/Mathlib/lakefile.lean