log mx.cmd @ 7344:11a9f50f34e4

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