diff options
author | Joey de l'Arago <joeydelarago@gmail.com> | 2022-01-31 15:29:49 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-01-31 15:29:49 +0300 |
commit | 8f58c786bb9d47b759edb71b005dac5938e4bd87 (patch) | |
tree | 852523f465f995643c9c8b49fd48ce4ba301b3a6 /scripts | |
parent | 7dd4a3b8bd0968564dfc173e31b3d4638850f292 (diff) |
Add Typing
Co-authored-by: Ghostkeeper <Ghostkeeper@users.noreply.github.com>
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/obj_trimmer.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/obj_trimmer.py b/scripts/obj_trimmer.py index 570ff69273..2798f15dba 100644 --- a/scripts/obj_trimmer.py +++ b/scripts/obj_trimmer.py @@ -22,7 +22,7 @@ def process_obj(input_file: str, output_file: str) -> None: os.remove("temp") -def trim_lines(in_obj, out_obj): +def trim_lines(in_obj: TextIO, out_obj: TextIO) -> None: for line in in_obj: line = trim_line(line) if line: |