ninja-ide/ninja-ide — pull request #581 by malderete (2012-06-12 19:57:09+00:00)
Title: Fixed issue #401

Fixed issue #401