ninja-ide/ninja-ide — pull request #154 by diegosarmentero (2012-01-06 23:56:08+00:00)
Title: Fixed Issue #148. 

Fixed Issue #148.