diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-09-10 13:09:48 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-10 13:09:48 +0200 |
commit | 1d3521fd5fc9a957eb60f5b666d9ffe3a56e874d (patch) | |
tree | 6b61c34980528a54e24f640195af8d674752d744 /core | |
parent | 49283cb80dc047ed7e034d1fa89f72d88207fddb (diff) | |
parent | e3d698dae9c7d17bb3eba4025e83ebaf124f7f6e (diff) |
Merge pull request #41944 from madmiraal/remove-unused-imports
Remove unused Python imports.
Diffstat (limited to 'core')
-rw-r--r-- | core/SCsub | 1 | ||||
-rw-r--r-- | core/input/SCsub | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/core/SCsub b/core/SCsub index 40ee78d3ea..16ee49d003 100644 --- a/core/SCsub +++ b/core/SCsub @@ -4,7 +4,6 @@ Import("env") import core_builders import make_binders -from platform_methods import run_in_subprocess env.core_sources = [] diff --git a/core/input/SCsub b/core/input/SCsub index f40978911b..740398b266 100644 --- a/core/input/SCsub +++ b/core/input/SCsub @@ -2,7 +2,6 @@ Import("env") -from platform_methods import run_in_subprocess import input_builders |