ninja-ide/ninja-ide — pull request #880 by diegosarmentero (2012-09-29 15:52:02+00:00)
Title:  Fixed Issue #816 …  Fixed Issue #815

Fixed Issue #816 …

Fixed Issue #815