ninja-ide/ninja-ide — pull request #1456 by diegosarmentero (2013-11-13 23:46:48+00:00)
Title: Fixes Issue #1416

Fixes Issue #1416