mysql-workbench: add shortcuts (closes #1916)

2026-10-01 09:47:12 +00:00 · 2017-12-18 19:08:32 +01:00
parent 8084a8d399
commit 2f8376f43a
1 changed files with 6 additions and 0 deletions
@@ -25,5 +25,11 @@
        "MySQLWorkbench.exe",
        "mysql.exe",
        "mysqldump.exe"
+    ],
+    "shortcuts": [
+        [
+            "MySQLWorkbench.exe",
+            "MySQLWorkbench"
+        ]
    ]
 }