diff GRAAL_AUTHORS @ 4396:4023bae16d02

Make mx script killable on Windows. renamed mx.bat to mx.cmd.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Sat, 28 Jan 2012 23:14:46 +0100
parents 61369a06f03c
children af976ca29136
line wrap: on
line diff