#101: make the created .bat files dos linefeed and add an empty line at the end so that cmd.exe is happy

This commit is contained in:
Mario Fetka
2013-08-05 21:31:53 +02:00

Submodule commit.ref updated: 5001824b2a...09d4e89d45