jumbo merge part two

2026-09-19 01:04:32 +02:00 · 2023-06-14 11:22:59 -04:00
parent a9f66cb33e
commit 0ddf613b49
28 changed files with 175 additions and 213 deletions
@@ -126,8 +126,6 @@ def list_extensions():
    extension_paths = []
    extension_names = []
    extension_folders = [extensions_builtin_dir] if shared.cmd_opts.safe else [extensions_builtin_dir, extensions_dir]
-    if shared.cmd_opts.base:
-        extension_folders = []
    for dirname in extension_folders:
        if not os.path.isdir(dirname):
            return