Mon, 10 Sep 2018 18:15:10 +0200
Changed the extension of the generated script files for Windows from '.bat' to '.cmd'.
6495
6e73d31af3af
Changed the extension of the generated script files for Windows from '.bat' to '.cmd'.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
6479
diff
changeset
|
1 | (binary:application/octet-stream) |