ninja-ide/ninja-ide — pull request #835 by malderete (2012-09-10 21:27:47+00:00)
Title: Fixed issue #833

Fixed Issue #833