remove test that depends on deprecated files

leanprover-community · Apr 11, 2022 · 7d6d601 · 7d6d601
1 parent 2476da5
commit 7d6d601
Showing 1 changed file with 0 additions and 22 deletions.
diff --git a/test/import_order_timeout.lean b/test/import_order_timeout.lean