chore: remove lean-toolchain from version agnostic tests

leanprover · Jun 16, 2022 · 9270c2d · 9270c2d
1 parent 2256c95
commit 9270c2d
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/test/50/foo/lean-toolchain b/test/50/foo/lean-toolchain
diff --git a/test/75/foo/lean-toolchain b/test/75/foo/lean-toolchain