fix external editor for cmd and bat on windows#1674

Open

pm100 wants to merge 4 commits intogitui-org:masterfrom pm100:batcmd

+257-19

Commits on May 3, 2023

fix external editor for win and bat on windows
pm100
committed

Commits on Jun 1, 2023

Merge branch 'extrawurst:master' into batcmd
pm100
authored

Commits on Jun 21, 2023