ninja-ide/ninja-ide — pull request #884 by diegosarmentero (2012-09-30 01:23:32+00:00)
Title:  Fixed Issue #855 …  Fixed Issue #616

Fixed Issue #855 …

Fixed Issue #616