ninja-ide/ninja-ide — pull request #79 by diegosarmentero (2011-11-23 22:32:22+00:00)
Title: Fixed Issue #73 

Fixed Issue #73