diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-09-11 13:04:49 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-11 13:04:49 +0200 |
commit | e00d77f5f3dc4213085e2e485459be098221b0d7 (patch) | |
tree | cfd0063efbfbe6bdf442e01f90c13668812f1409 /editor/editor_builders.py | |
parent | a2a78a80663674a1cd348a860184be8507bb76e3 (diff) | |
parent | 3070d0b7351d480ec201d4f488938744f68e56dd (diff) |
Merge pull request #41975 from madmiraal/remove-unused-variables
Remove unused Python local variables.
Diffstat (limited to 'editor/editor_builders.py')
-rw-r--r-- | editor/editor_builders.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/editor/editor_builders.py b/editor/editor_builders.py index ea32e24f6e..86c5c87a68 100644 --- a/editor/editor_builders.py +++ b/editor/editor_builders.py @@ -54,7 +54,6 @@ def make_fonts_header(target, source, env): g.write("#define _EDITOR_FONTS_H\n") # saving uncompressed, since freetype will reference from memory pointer - xl_names = [] for i in range(len(source)): with open(source[i], "rb") as f: buf = f.read() |