Remove an unneeded test file.

Julian · Nov 6, 2024 · 40134e0 · 40134e0
1 parent eb62703
commit 40134e0
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/spec/fixtures/example-project/foo.lean b/spec/fixtures/example-project/foo.lean