keep .exe extension on micromamba for windows

2024-12-20 10:39:11 -08:00 · 2024-12-20 10:39:11 -08:00 · 993944dd4e
parent df213fbdfc
commit 993944dd4e
1 changed files with 1 additions and 1 deletions
--- a/workbench/electron-builder-config.js
+++ b/workbench/electron-builder-config.js
@ -41,7 +41,7 @@ const config = {
    },
    {
      from: '../dist/micromamba.exe', // windows
-      to: 'micromamba',
+      to: 'micromamba.exe',
    },
    {
      from: '../dist/userguide',