ninja-ide/ninja-ide — pull request #1851 by juancarlospaco (2014-09-23 04:23:08+00:00)
Title: Fix #1849

- Fix #1849