diff options
| author | Scott Shawcroft <scott@tannewt.org> | 2020-05-14 18:48:07 -0700 |
|---|---|---|
| committer | Scott Shawcroft <scott@tannewt.org> | 2020-05-14 18:48:07 -0700 |
| commit | 8ac3e7977f87219454dbab50264a723e797b877a (patch) | |
| tree | 9038caba5e2ac76fa1d742cd9c80dc5c1c6eaf82 /tools/extract_pyi.py | |
| parent | 15c2d16bf927c4cbf6c4dbb9773b7c835f26c06d (diff) | |
Remove debug prints
Diffstat (limited to 'tools/extract_pyi.py')
| -rw-r--r-- | tools/extract_pyi.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/extract_pyi.py b/tools/extract_pyi.py index f15f15ba6..e590e25f1 100644 --- a/tools/extract_pyi.py +++ b/tools/extract_pyi.py @@ -7,7 +7,6 @@ top_level = sys.argv[1].strip("/") stub_directory = sys.argv[2] def convert_folder(top_level, stub_directory): - print(top_level, stub_directory) ok = 0 total = 0 filenames = sorted(os.listdir(top_level)) |