Skip to content

Commit 288bf74

Browse files
TWalTWal
committed
chore: update F*
1 parent 014c527 commit 288bf74

1 file changed

Lines changed: 3 additions & 3 deletions

File tree

‎flake.lock‎

Lines changed: 3 additions & 3 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)