Update settings from , profile « main »

2025-05-04 17:00:00 +02:00 · 2025-05-04 17:00:00 +02:00 · 80928d339c
parent d45c0ed70d
commit 80928d339c
1 changed files with 1 additions and 0 deletions
--- a/profiles/main/data/settings.json
+++ b/profiles/main/data/settings.json
@ -67,4 +67,5 @@
            "strings": true
        }
    },
    "python.createEnvironment.trigger": "off",
 }