log mx.cmd @ 7796:6ad077b60cb3

age author description
Sat, 28 Jan 2012 23:14:46 +0100 Thomas Wuerthinger Make mx script killable on Windows. renamed mx.bat to mx.cmd. base mx.bat@789595a30ba6