ninja-ide/ninja-ide — pull request #621 by malderete (2012-06-20 16:54:14+00:00)
Title: Fixed issue #372

Fixed issue #372