diff options
author | Jabasukuriputo Wang <wfjsw@users.noreply.github.com> | 2023-07-19 10:33:31 +0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-07-19 10:33:31 +0800 |
commit | fc3bdf8c1184de1116fe9f30b72905b4b3285e74 (patch) | |
tree | 64e993c6bce48ddd4fb2d60fd5105bd6c725d52c /launch.py | |
parent | 3c570421d3a2eb24528b5f5bb615dcb0c7717e4a (diff) | |
parent | b010eea520caa90d2a31d98ec7c4a9d9d540c9ad (diff) |
Merge branch 'dev' into move-start-timer
Diffstat (limited to 'launch.py')
-rw-r--r-- | launch.py | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -18,6 +18,7 @@ run_pip = launch_utils.run_pip check_run_python = launch_utils.check_run_python
git_clone = launch_utils.git_clone
git_pull_recursive = launch_utils.git_pull_recursive
+list_extensions = launch_utils.list_extensions
run_extension_installer = launch_utils.run_extension_installer
prepare_environment = launch_utils.prepare_environment
configure_for_tests = launch_utils.configure_for_tests
|