Removing duplicate tests from allscheme.

jarlah · Dec 7, 2024 · fa50df7 · fa50df7
1 parent 6b13dc8
commit fa50df7
Show file tree

Hide file tree

Showing 6 changed files with 0 additions and 52 deletions.
diff --git a/tests/allschemes/channels007/Main.idr b/tests/allschemes/channels007/Main.idr
diff --git a/tests/allschemes/channels007/expected b/tests/allschemes/channels007/expected
diff --git a/tests/allschemes/channels007/run b/tests/allschemes/channels007/run
diff --git a/tests/allschemes/channels008/Main.idr b/tests/allschemes/channels008/Main.idr
diff --git a/tests/allschemes/channels008/expected b/tests/allschemes/channels008/expected
diff --git a/tests/allschemes/channels008/run b/tests/allschemes/channels008/run