move repro out of test/Mathlib/ into test/

leanprover-community · Feb 6, 2024 · b81bd33 · b81bd33
1 parent 8684522
commit b81bd33
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 4 deletions.
diff --git a/test/Mathlib/test/20240202/min.in → test/20240202/min.in b/test/Mathlib/test/20240202/min.in → test/20240202/min.in
diff --git a/test/Mathlib/test/20240202/works1.in b/test/Mathlib/test/20240202/works1.in