Fri, 22 Jan 2010 12:17:18 +0900bat files are converted to sh files, and bugs are fixed.
Shingo W. Kagami [Fri, 22 Jan 2010 12:17:18 +0900] rev 2
bat files are converted to sh files, and bugs are fixed.