chore: remove obsolete scripts

Haidra-Org · Jul 11, 2023 · 62c69fa · 62c69fa
1 parent 5ccd592
commit 62c69fa
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 95 deletions.
diff --git a/style.py b/style.py
diff --git a/typechecking.py b/typechecking.py