delete unnecessary stuff

demergent-labs · Oct 19, 2023 · 025fdc3 · 025fdc3
1 parent 987311e
commit 025fdc3
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 1,023 deletions.
diff --git a/property_tests/index.ts b/property_tests/index.ts