Merge /home/git/public/YACASL2
authorj8takagi <j8takagi@nifty.com>
Thu, 1 Nov 2012 15:42:49 +0000 (00:42 +0900)
committerj8takagi <j8takagi@nifty.com>
Thu, 1 Nov 2012 15:42:49 +0000 (00:42 +0900)

Trivial merge