diff options
-rw-r--r-- | launch.py | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -11,6 +11,7 @@ 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
|