-
Niels Dekker authored
`--make-shell-scripts` now creates batch files (".bat") on Windows, while it still creates ".sh" files on Linux. (`--make-batch-scripts` was removed; it was never fully implemented anyway.) Implementation includes suggestion by Jirka Borovec (@Borda) Discussed with @kaspermarstal