aboutsummaryrefslogtreecommitdiffstats
path: root/launch.py
diff options
context:
space:
mode:
Diffstat (limited to 'launch.py')
-rw-r--r--launch.py1
1 files changed, 0 insertions, 1 deletions
diff --git a/launch.py b/launch.py
index 7520cfee..088eada1 100644
--- a/launch.py
+++ b/launch.py
@@ -11,7 +11,6 @@ python = sys.executable
git = os.environ.get('GIT', "git")
index_url = os.environ.get('INDEX_URL', "")
-
def extract_arg(args, name):
return [x for x in args if x != name], name in args