ninja-ide/ninja-ide — pull request #647 by diegosarmentero (2012-06-24 02:44:27+00:00)
Title: fix small bug

fix small bug