Initial commit

2026-08-26 04:45:19 +00:00 · 2025-07-22 10:22:50 +02:00
parent 16f53c8a47
commit edb28205cd
422 changed files with 17001 additions and 2 deletions
@@ -0,0 +1,16 @@
+{
+  "key": "ctrl+shift+b",
+  "isDefault": true,
+  "label": "Make project",
+  "type": "shell",
+  "command": "./Make.bat",
+  "presentation": {
+    "echo": true,
+    "reveal": "always",
+    "focus": true,
+    "panel": "shared",
+    "showReuseMessage": false,
+    "clear": true
+  },
+  "group": { "kind": "build", "isDefault": true }
+}