ninja-ide/ninja-ide — pull request #1103 by malderete (2013-02-13 22:30:43+00:00)
Title: Fixed issue #856

Fixed issue #856