Skip to content

Commit

Permalink
chore: switch from lakefile.lean to lakefile.toml
Browse files Browse the repository at this point in the history
  • Loading branch information
@kim-em
kim-em committed Jul 1, 2024
1 parent a7bfa63 commit aa91f04
Showing 1 changed file with 0 additions and 4 deletions.
4 changes: 0 additions & 4 deletions lakefile.lean
View file

This file was deleted.

0 comments on commit aa91f04

Please sign in to comment.