extensions is already a list.

2026-10-20 06:08:35 +02:00 · 2015-12-02 11:22:36 +01:00
parent 63ba23d437
commit 2b43a45385
1 changed files with 1 additions and 1 deletions
@@ -112,7 +112,7 @@ class MapFilesGenerator(object):
                    extension["name"] for extension in official_exts]
            else:
                extensions = args.extensions
-            applications += [extensions]
+            applications += extensions
        self.__load_applications(applications)
        for mapfile in registry.files:
            self.__render_map(args, mapfile)