py2to3: remove some unused files

reticulatedpines · Nov 4, 2023 · 6d8115c · 6d8115c
1 parent 3d64d4b
commit 6d8115c
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 722 deletions.
diff --git a/contrib/stub-format/stub-cleanup.py b/contrib/stub-format/stub-cleanup.py
diff --git a/contrib/stub-format/stub-format.py b/contrib/stub-format/stub-format.py