konoha-project/minikonoha — pull request #322 by wakamori (2012-12-12 16:16:50+00:00)
Title: rename dscript.shell to dshell

fix a wrong parameter of packages' ctest