delete unneeded files

KenKundert · Mar 20, 2023 · f720fb7 · f720fb7
1 parent f8ded08
commit f720fb7
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 386 deletions.
diff --git a/run_tests b/run_tests
diff --git a/runtests.py b/runtests.py